ACM Transactions on Software Engineering and Methodology (TOSEM)
Specifying a Safety-Critical Control System in Z
IEEE Transactions on Software Engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Annals of Software Engineering
Statistical Constraints and Verification
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
ACSW Frontiers '03 Proceedings of the Australasian information security workshop conference on ACSW frontiers 2003 - Volume 21
Achieving Balance in Software Engineering Curricula
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
Specifying Lifecycles of Object Interactions within Distributed Systems
SMW '96 Proceedings of the 2nd IEEE International Workshop on Systems Management (SMW'96)
Towards a Formal Semantics for an Integrated SA/RT & Z Specification Language
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Consistency Checking between Data and Process Diagrams based on Formal Methods
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Illuminating software specifications
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering - Volume 1
Automatic Synthesis Of Behavioral Object Specifications From Scenarios
Journal of Integrated Design & Process Science
Process-centered review of object oriented software development methodologies
ACM Computing Surveys (CSUR)
A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
Operation refinement and monotonicity in the schema calculus
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
An analysis of forward simulation data refinement
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Validation of security-design models using Z
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Hi-index | 0.00 |