Crossroads - Special issue on human computer interaction
Blending Object-Z and Timed CSP: an introduction to TCOZ
Proceedings of the 20th international conference on Software engineering
IEEE Transactions on Software Engineering
Toward Constraint-Object-Oriented Development
IEEE Transactions on Software Engineering
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
State-based approaches: from Z to object-Z
Formal methods for distributed processing
The Model-Composition Problem in User-Interface Generation
Automated Software Engineering
Specification of an Automatic Manufacturing System: A Case Study in Using Integrated Formal Methods
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Introducing Reference Semantics via Refinement
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
A Formal Mapping between UML Models and Object-Z Specifications
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Recursive Schema Definitions in Object-Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Bunches for Object-Oriented, Concurrent, and Real-Time Specification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Verifying Consistency and Validity of Formal Specifications by Testing
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Extending Test Templates with Inheritance
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Adding Real-Time Filters to Object-Oriented Specification of Time Critical Systems
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Formalising Process Scheduling Requirements for an Aircraft Operational Flight Program
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Refinement and Verification of Concurrent Systems Specified in Object-Z and CSP
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Modelling Formal Integrated Component Retrieval
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Lightweight object specification with typestates
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Slicing techniques for verification re-use
Theoretical Computer Science - Formal methods for components and objects
Specifying and analyzing security automata using CSP-OZ
ASIACCS '07 Proceedings of the 2nd ACM symposium on Information, computer and communications security
Composing pattern-based components and verifying correctness
Journal of Systems and Software
Automatic Verification of Combined Specifications: An Overview
Electronic Notes in Theoretical Computer Science (ENTCS)
Typestate protocol specification in JML
Proceedings of the 8th international workshop on Specification and verification of component-based systems
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Static Class Elements for Object-Z
Electronic Notes in Theoretical Computer Science (ENTCS)
Algorithmic Design Using Object-Z for Twig XML Queries Evaluation
Electronic Notes in Theoretical Computer Science (ENTCS)
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
PREMO: A framework for multimedia middleware: specification, rationale, and java binding
Formalizing the UML class diagram using object-Z
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Proving linearizability via non-atomic refinement
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Unifying theories of programming that distinguish nontermination and abort
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Slicing object-z specifications for verification
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Formal methods and standards: an idiosyncratic view
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Object-oriented operations have two parts
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Heterogeneous formal specification based on Object-Z and statecharts: semantics and verification
Journal of Systems and Software
Linking Unifying Theories of Program refinement
Science of Computer Programming
| Hi-index | 0.00 |