Model-driven engineering in a large industrial context - Motorola case study

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3713 LNCS, Issue , 2005, Pages 476-491

  Baker, Paul ^a   Loh, Shiou ^b   Weil, Frank ^b  

^a MOTOROLA   (United Kingdom)

^b MOTOROLA INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER AIDED ENGINEERING; COMPUTER SCIENCE; PROCESS CONTROL;

DEVELOPMENT PROCESS; MDE DEPLOYMENT; MODEL-DRIVEN ENGINEERING (MDE);

PRODUCT DEVELOPMENT;

EID: 33646192696     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11557432_36     Document Type: Conference Paper

References (16)

1. Baker, P.: Test Generation towards TTCN-3. ETSI TTCN-3 User Conference (2004)
2. Baker, P., Burton, S., Bristow, P., King, D., Jervis, C., Mitchell, B., Thomson, R.: Detecting and Resolving Semantic Pathologies in UML Sequence Diagrams. ACM ESEC-Foundations of Software Engineering (2005)
3. Baker, P., Dai, Z., Grabowski, J., Haugen, O., Samuelsson, E., Schieferdecker, I., Williams, C.: The UML 2.0 Testing Profile. In: Proc. of the Conf. on Quality Engineering in Software Technology 2004. Nuremberg, Germany (2004)
4. Baker, P., Jervis, C., King, D.: An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications. In: Trinder, P., Michaelson, G., Loidl, H-W. (eds.): Trends in Functional Programming, Vol. 1. Intellect (2000) 126-135
5. Boyle, J., Harmer, T., Weigert, T., Weil, F.: Knowledge-Based Derivation of Programs from Specifications. In: Bourbakis, N. (ed.): Artificial Intelligence And Automation. World Scientific Press (1996)
6. Dietz, P., Weigert, T., Weil, F.: Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. In: Proc. of the 1998 Workshop on Industrial-strength Formal Specification Techniques. Boca Raton, FL (1998)
7. European Telecommunications Standards Institute: Methods for Testing and Specification; The Testing and Control Notation version 3 (TTCN-3); Part 1: TTCN-3 Core Language. ETSI ES 201 873-1 (2001)
8. Gras, J., McGaw, D.: End-to-End Defect Prediction. In: IEEE International Symposium on Software Reliability Engineering (ISSRE). Saint Malo, France (2004)
9. Hatley, D., Pirbhai, I.: Strategies for Real-Time System Specification. Dorset House, New York (1988)
10. International Telecommunications Union: Abstract Syntax Notation One (ASN.1): Specification of Basic Notation. ITU-T Rec. X.680 (2002)
11. International Telecommunications Union: Message Sequence Chart (MSC). ITU-T Rec. Z.120 (2000)
12. International Telecommunications Union: Specification and Description Language. ITU-T Rec. Z.100 (2000)
13. International Telecommunications Union: TTCN-2 standard, Conformance Testing Methodology and Framework: Part 3: The Tree and Tabular Combined Notation (TTCN). ITU-T Rec. X.292 (1997)
14. Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Practice and Promise. Addison-Wesley (2003)
15. Mitchell, B., Thomson, R., Jervis, C.: Phase Automaton for Requirements Scenarios. In: Feature Interactions in Telecommunications and Software Systems VII. IOS Press (2003) 77-84
16. Object Management Group: Unified Modeling Language (UML): Superstructure, Version 2.0 (2003)