首页>外文会议>其他>International Workshop on Scenarios and State Machines

International Workshop on Scenarios and State Machines

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Executable Use Cases as Links Between Application Domain Requirements and Machine Specifications

机译：可执行用例作为应用程序域需求和机器规范之间的链接
- 作者：Jens Baek Jorgensen;Claus Bossen
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
2.A Methodology for Scenario-Based Requirements Capture

机译：基于方案的要求捕获方法
- 作者：Jon Whittle;Ingolf H. Kruger
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
3.Imprecise Synthesis

机译：不精确的合成
- 作者：Bill Mitchell;Robert Thomson;Paul Bristow
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
4.Systematic Story Driven Modeling, a case study

机译：系统故事驱动建模，案例研究
- 作者：Ira Diethelm;Leif Geiger;Albert Zundorf
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
5.Analysis and Synthesis for Parameterized Timed Sequence Diagrams

机译：分析和合成参数化定时序列图
- 作者：Holger Giese;Sven Burmester
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
6.Minimally Adequate Teacher Synthesizes Shuttles, too

机译：最微小的教师也合成了班车
- 作者：Johannes Koskinen;Tarja Systa;Erkki Makinen
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
7.Simulating Textual Scenarios using State charts

机译：使用状态图模拟文本方案
- 作者：Christian Denger;Thomas Olsson
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
8.As Fast as Sound Lightweight Formal Scenario Synthesis and Verification

机译：像声音轻量级的正式情景合成和验证一样快
- 作者：Yves Bontemps;Patrick Heymans
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
9.Using Behavior Trees to Model the Autonomous Shuttle System

机译：使用行为树来模拟自主梭系统
- 作者：R. Geoff. Dromey
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
10.Systematically Combining Specifications of Internal and External System Behavior Using Statecharts

机译：系统地使用StateCharts组合内部和外部系统行为的规范
- 作者：Martin Glinz
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2004年
11.On Generating EFSM Models from Use Cases

机译：从用例生成EFSM模型
- 作者：Sinha Avik;Paradkar Amit;Williams Clay;CSMDL
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2007年
12.Generating Code from Scenario and State Based Models to Address Crosscutting Concerns

机译：从情景和基于状态的模型生成代码，以解决跨勾制问题
- 作者：Mahoney Mark;Elrad Tzilla;CSMDL
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2007年
13.Specifying Use Case Sequencing Constraints Using Description Elements

机译：使用描述元素指定使用情况排序约束
- 作者：Some Stephane S.;CSMDL
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2007年
14.Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

机译：设计工具支持将用例和UML 2.0序列图翻译成彩色Petri网
- 作者：Fernandes Joao M.;Tjell Simon;Jorgensen Jens Baek;Ribeiro Oscar;CSMDL
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2007年
15.Generating Code from Scenario and State Based Models to Address Crosscutting Concerns

机译：从情景和基于状态的模型生成代码，以解决跨勾制问题
- 作者：Mark Mahoney;Tzilla Elrad
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2007年
16.Specifying Use Case Sequencing Constraints using Description Elements

机译：使用描述元素指定使用情况排序约束
- 作者：Stephane S. Some
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2007年
17.On Generating EFSM models from Use Cases

机译：从用例生成EFSM模型
- 作者：Avik Sinha;Amit Paradkar;Clay Williams
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2007年
18.Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

机译：设计工具支持将用例和UML 2.0序列图翻译成彩色Petri网
- 作者：Joao M. Fernandes;Simon Tjell;Jens Baek Jorgensen;Oscar Ribeiro
- 会议名称：《International Workshop on Scenarios and State Machines》 | 2007年