Search results for: Richard F. Paige
Software and Systems Modeling > 2019 > 18 > 6 > 3193-3205
Journal of Cloud Computing > 2018 > 7 > 1 > 1-18
Software & Systems Modeling > 2019 > 18 > 1 > 345-366
Computer Languages, Systems & Structures > 2017 > 49 > C > 216-230
Software & Systems Modeling > 2019 > 18 > 2 > 1047-1075
Lecture Notes in Computer Science > Agile Processes in Software Engineering and Extreme Programming > Experience Reports > 226-230
Lecture Notes in Computer Science > Integrated Formal Methods > Combining Graphical and Formal Approaches > 299-318
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 473-494
Lecture Notes in Computer Science > Theory and Practice of Model Transformations > Research Papers > 184-198
Lecture Notes in Computer Science > Model Driven Architecture – Foundations and Applications > Model Management and Transformations > 346-360
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Session 2b: Taming Modeling Complexity > 211-225
Lecture Notes in Computer Science > Extreme Programming and Agile Processes in Software Engineering > Posters and Demonstrations > 226-229
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The INESS Project > 147-165
Lecture Notes in Computer Science > Model Driven Engineering Languages and Systems > Session 1b: Model Migration and Incremental Manipulation > 61-75
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Software Dependability > 30-43
Lecture Notes in Computer Science > Model Driven Architecture – Foundations and Applications > Model Management > 128-142