Abstract is missing.
- A Model-Based Standard for SDLAndreas Prinz, Markus Scheidgen, Merete Skjelten Tveit. 1-18 [doi]
- Model Driven Development and Code Generation: An Automotive Case StudyMichele Banci, Alessandro Fantechi, Stefania Gnesi, Giovanni Lombardi. 19-34 [doi]
- Experiences in Deploying Model-Driven EngineeringThomas Weigert, Frank Weil, Kevin Marth, Paul Baker, Clive Jervis, Paul Dietz, Yexuan Gui, Aswin van den Berg, Kim Fleer, David Nelson, Michael Wells, Brian E. Mastenbrook. 35-53 [doi]
- TTCN-3 Quality Engineering: Using Learning Techniques to Evaluate Metric SetsEdith Werner, Jens Grabowski, Helmut Neukirchen, Nils Röttger, Stephan Waack, Benjamin Zeiss. 54-68 [doi]
- Using TTCN for Radio Conformance Test SystemsJavier Poncela-González, Juan Gómez-Salvador, Carlos Valero-Roldán, Unai Fernández-Plazaola. 69-85 [doi]
- Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing ProfilePaul Baker, Clive Jervis. 86-100 [doi]
- Specifying Input Port Bounds in SDLReinhard Gotzhein, Rüdiger Grammes, Thomas Kuhn. 101-116 [doi]
- Translatable Finite State Time MachineKrzysztof Sacha. 117-132 [doi]
- Enhanced Use Case Map Traversal SemanticsJason Kealey, Daniel Amyot. 133-149 [doi]
- Automated Generation of Micro Protocol Descriptions from SDL Design SpecificationsIngmar Fliege, Reinhard Gotzhein. 150-165 [doi]
- Synthesizing Components with Sessions from Collaboration-Oriented Service SpecificationsFrank Alexander Kraemer, Rolv Bræk, Peter Herrmann. 166-185 [doi]
- Experiences in Using the SOMT Method to Support the Design and Implementation of a Network SimulatorManuel Rodríguez, José María Parra. 186-202 [doi]
- Consistency of UML/SPT ModelsAbdelouahed Gherbi, Ferhat Khendek. 203-224 [doi]
- Formal Verification of Use Case Maps with Real Time ExtensionsJameleddine Hassine, Juergen Rilling, Rachida Dssouli. 225-241 [doi]
- Using Probabilist Models for Studying Realistic Systems: A Case Study of PastryGuillaume Châtelet, Benoit Parreaux, Yves-Marie Quemener. 242-257 [doi]
- OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal ModelingEric Verhulst, Gjalt G. de Jong. 258-271 [doi]
- SDL Design and Performance Evaluation of a Mobility Management Technique for 3GPP LTE SystemsTae-Hyong Kim, Qi-Ping Yang, Soon-Gi Park, Yeun-Seung Shin. 272-288 [doi]