Search results for: Paul Strooper
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 211-225
Lecture Notes in Computer Science > Program Development in Computational Logic > Specification and Synthesis > 66-89
Lecture Notes in Computer Science > Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics > Session 2.5 > 564-579
Lecture Notes in Computer Science > ZUM ’98: The Z Formal Specification Notation > Concurrency > 42-59
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Specification Techniques and Languages > 192-203
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Program Refinement > 126-143
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > A Technique for Modular Logic Program Refinement > 38-56
Lecture Notes in Computer Science > Making Globally Distributed Software Development a Success Story > Process Representation, Analysis and Modeling > 222-233
Lecture Notes in Computer Science > Formal Methods for Industrial Critical Systems > Research Papers > 56-67
Lecture Notes in Computer Science > Software Process Improvement > SPI and Process Modelling > 111-122
Lecture Notes in Computer Science > Component-Based Software Engineering > Extra-Funtional Properties of Components and Component-Based Systems > 272-279
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Contributions > 249-260
Software Testing, Verification and Reliability > 22 > 1 > 33 - 63