Model-Driven engineering in a large industrial context — motorola case study
暂无分享,去创建一个
Frank Weil | Paul Baker | Shiou Loh | P. Baker | F. Weil | Shiou Loh
[1] Thomas Weigert,et al. KNOWLEDGE-BASED DERIVATION OF PROGRAMS FROM SPECIFICATIONS , 1998 .
[2] Ekkart Rudolph,et al. Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description to Traces within Communications Systems , 1992, FBT.
[3] Ina Schieferdecker,et al. The UML 2.0 Testing Profile and Its Relation to TTCN-3 , 2003, TestCom.
[4] Bill Mitchell,et al. Detecting and resolving semantic pathologies in UML sequence diagrams , 2005, ESEC/FSE-13.
[5] Anneke Kleppe,et al. MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.
[6] Derek J. Hatley,et al. Strategies for Real-Time System Specification , 1987 .
[7] Bill Mitchell,et al. Phase Automaton for Requirements Scenarios , 2003, FIW.
[8] John H R May,et al. 15th International Symposium on Software Reliability Engineering (ISSRE 04), St Malo, Bretagne, France, November , 2004 .
[9] Itu-T. Specification and Description Language (SDL) , 1999 .
[10] Thomas Weigert,et al. Formal techniques for automatically generating marshalling code from high-level specifications , 1998, Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques.
[11] David J. King,et al. An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications , 1999, Scottish Functional Programming Workshop.
[12] Evan H. Magill,et al. Feature Interactions in Telecommunications and Software Systems VI, May 17-19, 2000, Glasgow, Scotland, UK , 2000, FIW.