Communicating sequential processes
Communicating sequential processes
Software Development Environments
Computer
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Specification and Design of Transactions in Information Systems: A Formal Approach
IEEE Transactions on Software Engineering
Automatic Derivation of Formal Software Specifications from Informal Descriptions
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering
Software engineering (4th ed.)
Software engineering (4th ed.)
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Editorial: what is software quality?
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
IEEE Software
Integrating Formal Methods into the Development Process
IEEE Software
Guest Editor's Introduction: Formal Methods in Software Engineering
IEEE Transactions on Software Engineering
Verification of concurrent programs, Part I: The temporal framework
Verification of concurrent programs, Part I: The temporal framework
ACM SIGSOFT Software Engineering Notes
Experience integrating a formal method into a software engineering course
SIGCSE '96 Proceedings of the twenty-seventh SIGCSE technical symposium on Computer science education
A formal specifications maturity model
Communications of the ACM
A validation framework for a maturity measurement model for safety-critical software systems
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
A practical approach to security assessment
NSPW '97 Proceedings of the 1997 workshop on New security paradigms
A Theory-Based Representation for Object-Oriented Domain Models
IEEE Transactions on Software Engineering
Tools for producing formal specifications: a view of current architectures and future directions
Annals of Software Engineering
Developing Highly Reliable Software
IEEE Micro
Managing Complex Documents Over the WWW: A Case Study for XML
IEEE Transactions on Knowledge and Data Engineering
Rapid software development through team collocation
IEEE Transactions on Software Engineering
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Method for Requirements Elicitation and Formal Specification
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Improving information requirements determination: a cognitive perspective
Information and Management
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Towards Compositional Verification in MEDISTAM-RT Methodological Framework
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part II: Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
Applying Formal Verification Techniques to Ambient Assisted Living Systems
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Method for data models integration in the common paradigm
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
NP-SPEC: an executable specification language for solving all problems in NP
Computer Languages
| Hi-index | 48.23 |