Search results
Lecture Notes in Computer Science > Models in Software Engineering > W9 – Model Size Metrics > 217-226
Lecture Notes in Computer Science > Reliable Software Technologies - Ada-Europe 2011 > Verification > 89-102
Lecture Notes in Computer Science > Models in Software Engineering > S3 – A Formal Semantics for UML > 324-326
Lecture Notes in Computer Science > Balancing Agility and Formalism in Software Engineering > UML > 116-128
Lecture Notes in Computer Science > Scientific Engineering of Distributed Java Applications > Component-Based Design of Embedded Software: An Analysis of Design Issues > 58-67
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 57-71
Lecture Notes in Computer Science > Object-Oriented Technology: ECOOP’98 Workshop Reader > Object-Oriented Technology and Real-Time Systems > 533-538
Lecture Notes in Computer Science > Integrated Formal Methods > From Specifcation to Verifcation > 49-68
Lecture Notes in Computer Science > Text, Speech and Dialogue > Text > 193-200
Lecture Notes in Computer Science > Methods, Models and Tools for Fault Tolerance > Fault Tolerance in System Development Process > 275-296
Lecture Notes in Computer Science > Application and Theory of Petri Nets 2000 > Invited Papers > 24-38
Lecture Notes in Computer Science > SDL 2009: Design for Motes and Mobiles > Application Studies > 200-221
Lecture Notes in Computer Science > Conceptual Modeling – ER 2005 > Process Modeling and Views > 63-78
IFIP — The International Federation for Information Processing > EduTech Computer-Aided Design Meets Computer-Aided Learning > Development of E-Learning Tools > 165-174