Experiences from introducing UML-based development in a large safety-critical project

By Anda Bente   Hansen Kai   Gullesen Ingolf   Thorsen Hanne  

Empirical Software Engineering, Vol. 11, Iss. 4, 2006-12 ,pp. : 555-581

Springer Publishing Company

Access to resources Recommend Favorite

Software tools for safety-critical software development

By Wassyng Alan   Lawford Mark  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 337-354

Springer Publishing Company

Access to resources Recommend Favorite

Relational programs: An architecture for robust real-time safety-critical process-control systems

By Bastani F.B.  

Annals of Software Engineering, Vol. 7, Iss. 1-4, 1999-01 ,pp. : 5-24

Springer Publishing Company

Access to resources Recommend Favorite

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

By Angeletti Damiano   Giunchiglia Enrico   Narizzano Massimo   Puddu Alessandra   Sabina Salvatore  

Journal of Automated Reasoning, Vol. 45, Iss. 4, 2010-12 ,pp. : 397-414

Springer Publishing Company

Access to resources Recommend Favorite

FACTOR SELECTIONS FOR A SYSTEM DEVELOPMENT PROCESS

By Wang Hsiao-Fan   Lin Long-Shuh  

Cybernetics and Systems, Vol. 30, Iss. 8, 1999-12 ,pp. : 747-760

Taylor & Francis Ltd

Access to resources Recommend Favorite