Titlebook: Scenarios: Models, Transformations and Tools; International Worksh Stefan Leue,Tarja Johanna Syst? Conference proceedings 2005 Springer-Ver

一再煩擾

Truculent

挫敗

Desert

Autonomous Shuttle System Case Studyigent shuttles capable of transporting a small number of passengers or a single freight container autonomously navigate a passive track system and make independent and decentralized operational decisions.

反饋

Traceability and Evaluation in Scenario Analysis by Use Case Mapsinks between scenario elements and other types of requirements. These links, which can be supported by requirements management tools, are useful to maintain both the scenarios and requirements during their evolution. We also demonstrate how simple performance models generated from UCMs may impact high-level requirements and architectures.

小平面

Lightweight Formal Methods for Scenario-Based Software Engineeringel checking is computationally expensive and synthesis of distributed system is undecidable. Two lightweight techniques are thus presented that alleviate this intractability. These approaches sacrifice completeness for efficiency, but keep soundness.

Schlemms-Canal

978-3-540-26189-6Springer-Verlag Berlin Heidelberg 2005

蒙太奇

Scenarios: Models, Transformations and Tools978-3-540-32032-6Series ISSN 0302-9743 Series E-ISSN 1611-3349

拱墻

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/s/image/861241.jpg

Microgram