Design verification for product line development

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

Volumn 3714 LNCS, Issue , 2005, Pages 150-161

  Kishi, Tomoji ^a   Noda, Natsuko ^b   Katayama, Takuya ^a  

^a JAPAN ADVANCED INSTITUTE OF SCIENCE AND TECHNOLOGY   (Japan)

^b NEC CORPORATION   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTER SOFTWARE; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; PRODUCT DEVELOPMENT; RELIABILITY;

DESIGN MODELS; PRODUCT LINE DEVELOPMENT (PLD); RELIABLE EMBEDDED SOFTWARE;

SOFTWARE ENGINEERING;

EID: 33646173411     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11554844_18     Document Type: Conference Paper

References (15)

1. Bosch, J.: Design and Use of Software Architectures. Addison-Wesley, (2000)
2. Clarke, E., Grumberg, O., Peled, D.: Model Checking: MIT (1999)
3. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns, Addison-Wesley (2001)
4. http://www.eclipse.org/
5. th International Conference on Software Engineering (ICSE'04) (2004).
6. Holzmann, G.J.: The model checker SPIN. IEEE Trans, on Software Engineering 23 (5) (1997) 279-295
7. Jamie, J. et al.: Test Case Management of Controls Product Line Points of Variability. International Workshop on Software Product Line Testing. (SPLiT 2004) (2004)
8. Kang, K. et al.: Feature-Oriented Domain Analysis (FODA) Feasibility Study. CUM/SEI-90-TR-21 (1990)
9. Kishi, T., Noda, N.: Aspect-Oriented Context Modeling for Embedded Systems. Aspect-Oriented Requirements Engineering and Architecture Design (Early Aspects 2004) (2004)
10. Kishi, T. et al.: Project Report: High Reliable Object-Oriented Embedded Software Design. The 2nd IEEE Workshop on Software Technology for Embedded and Ubiquitous Computing Systems (WSTFEUS'04) (2004).
11. Kishi, T., Noda, N.: Design Testing for Product Line Development based on Test Scenarios. International Workshop on Software Product Line Testing, (SPLiT 2004), (2004)
12. Lilius, J., Pallor, I. P.: vUML: a Tool for Verifying UML Models. TUCS Technical Report No. 272 (1999)
13. Northrop, L.M.: SEI's Software Product Line Tenets. IEEE Software, 19(4) (2002) 32-40,
14. http://www.eclipseuml.com/
15. Schäfer T., Knapp A., Merz, S.: Model Checking UML State Machines and Collaborations. Electronic Notes in Theoretical Computer Science 55(3) (2001)