| 1. | The case study is an airline reservation system
这一案例研究的是一个航班订票系统。 |
| 2. | The new ticket system has been operative since june1st
新的订票系统从6月1日起开始实行了。 |
| 3. | The new ticket system has been operative since june 1st
新的订票系统从6月2日起开始实行了。 |
| 4. | Case study : airline reservation system
案例研究：航班订票系统 |
| 5. | Formal specification and verification of air - ticket reservation systems using pvs
的飞机订票系统的形式化描述与验证 |
| 6. | This booking - only system enables sncf to fill over 80 % of seats on average
这个专门订票系统使得sncf平均上座率超过了80 % 。 |
| 7. | It starts with a set of previously defined message flows for an airline reservation system
它首先介绍一组航班订票系统的预定义消息流。 |
| 8. | It ' s quick and easy to book tickets online with miramar cinemas booking system
网路预约订票系统暂不提供购票优惠折扣，每张票需加收$ 20元手续费。 |
| 9. | Common examples of these types of databases are airline ticketing systems and banking transaction systems
这种数据库的常见示例是航空订票系统和银行事务系统。 |
| 10. | Flows are designed to implement the airline reservation system features . nodes with suitable functions are selected
流的设计是为了实现航班订票系统的特征，其中选择了具有适合的功能的一些节点。 |
