Search results for: Axel Lamsweerde
Lecture Notes in Computer Science > Conceptual Modeling: Foundations and Applications > Software and Requirements Engineering > 380-397
Lecture Notes in Computer Science > Interactive Systems. Design, Specification, and Verification > Model-Based Design Processes and Tools > 249-260
Lecture Notes in Computer Science > Radical Innovations of Software and Systems Engineering in the Future > 325-340
Lecture Notes in Computer Science > Reliable SoftwareTechnologies — Ada-Europe 2001 > Invited Papers > 1-20
Lecture Notes in Computer Science
Requirements Engineering > 2013 > 18 > 2 > 129-146
Formal Aspects of Computing > 2011 > 23 > 3 > 239-242