Communicating sequential processes
Communicating sequential processes
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software safety: why, what, and how
ACM Computing Surveys (CSUR)
Knowledge-based programming: a survey of program design and construction techniques
IEEE Transactions on Software Engineering
Writing Larch interface language specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Systematic software development using VDM
Systematic software development using VDM
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
The Munich Project CIP: Volume I: the wide spectrum language CIP-L
Modeling concurrency with partial orders
International Journal of Parallel Programming
Current trends in concurrency. Overviews and tutorials
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Artificial Intelligence
Transaction processing primitives and CSP
IBM Journal of Research and Development
Communications of the ACM
Understanding Z: a specification language and its formal semantics
Understanding Z: a specification language and its formal semantics
m-EVES: A tool for verifying software
ICSE '88 Proceedings of the 10th international conference on Software engineering
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
Parallel program design: a foundation
Parallel program design: a foundation
A simple approach to specifying concurrent systems
Communications of the ACM
The RAISE language, methods and tools
Formal Aspects of Computing
The ergo support system: an integrated set of tools for prototyping integrated environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Formally specifying electronic instruments
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Testing the correctness of tasking supervisors with TSL specifications
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Formal verification of the Sobel image processing chip
Current trends in hardware verification and automated theorem proving
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Program specification and development in standard ML
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
A Deductive Approach to Program Synthesis
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Final Data Types and Their Specification
ACM Transactions on Programming Languages and Systems (TOPLAS)
Specifying Concurrent Program Modules
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
A technique for software module specification with examples
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Software Development: A Rigorous Approach
Software Development: A Rigorous Approach
A Discipline of Programming
Computer experiments with the REVE term rewriting system generator
POPL '83 Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design
An Overview of LP, The Larch Power
RTA '89 Proceedings of the 3rd International Conference on Rewriting Techniques and Applications
The Semantics of CLEAR, A Specification Language
Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Real-time programming and asynchronous message passing
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
HIERARCHICAL CORRECTNESS PROOFS FOR DISTRIBUTED ALGORITHMS
Verification of concurrent programs, Part I: The temporal framework
Verification of concurrent programs, Part I: The temporal framework
The specification and application to programming of abstract data types.
The specification and application to programming of abstract data types.
Principles of Program Design
Copying and Swapping: Influences on the Design of Reusable Software Components
IEEE Transactions on Software Engineering
Informal and Formal Requirements Specification Languages: Bridging the Gap
IEEE Transactions on Software Engineering
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
The property vector specification of a multiset iterator
ICSE '92 Proceedings of the 14th international conference on Software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Software quality: an overview from the perspective of total quality management
IBM Systems Journal
Strategies for incorporating formal specifications in software development
Communications of the ACM
Fitting formal methods into the design cycle
DAC '94 Proceedings of the 31st annual Design Automation Conference
Integrating a formal specification course with a software projects course via an editing tool
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Issues in the full scale use of formal methods for automated testing
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Strategic directions in software engineering and programming languages
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations
IEEE Transactions on Software Engineering
Formalizing and integrating the dynamic model within OMT
ICSE '97 Proceedings of the 19th international conference on Software engineering
Representation Inheritance: A Safe Form of "White Box" Code Inheritance
IEEE Transactions on Software Engineering
Observations on industrial practice using formal methods
ICSE '93 Proceedings of the 15th international conference on Software Engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
Dynamic Verification of C++ Generic Algorithms
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
An experience in the formal verification of industrial software
Communications of the ACM - Electronic supplement to the December issue
An undergraduate course in formal methods: “description is our business”
SIGCSE '98 Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education
Agents for collecting application usage data over the Internet
AGENTS '98 Proceedings of the second international conference on Autonomous agents
An approach to large-scale collection of application usage data over the Internet
Proceedings of the 20th international conference on Software engineering
A specification matching based approach to reverse engineering
Proceedings of the 21st international conference on Software engineering
Formal specification of COTS-based software: a case study
SSR '99 Proceedings of the 1999 symposium on Software reusability
Using formal methods for teaching software engineering: a tool-based approach
Annals of Software Engineering - Special issue on software engineering education
CSC '91 Proceedings of the 19th annual conference on Computer Science
Enhancing design reusability by clustering specifications
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
An extensible model of architecture description
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A system for predictable component-based software construction
High integrity software
Modeling and verifying multi-agent behaviors using predicate/transition nets
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
A formal approach for specification and classification of software components
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Integrated CASE for Cleanroom Development
IEEE Software
Status Report: Requirements Engineering
IEEE Software
Applying Formal Specification in Industry
IEEE Software
IEEE Transactions on Knowledge and Data Engineering
Specifying Graceful Degradation
IEEE Transactions on Parallel and Distributed Systems
Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software
IEEE Transactions on Parallel and Distributed Systems
Informational and Decision Processes for Flexible Manufacturing Systems
IEEE Expert: Intelligent Systems and Their Applications
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Design and Specification of Iterators Using the Swapping Paradigm
IEEE Transactions on Software Engineering
A Formal Semantics for Object Model Diagrams
IEEE Transactions on Software Engineering
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification
IEEE Transactions on Software Engineering
Formalizing and integrating the dynamic model for object-oriented modeling
IEEE Transactions on Software Engineering
Systematic Formulation of Non-Functional Characteristics of Software
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
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
Formalizing the Specification of Web Applications
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
An SGML-based programming environment for literate programming
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Strongest postcondition semantics as the formal basis for reverse engineering
WCRE '95 Proceedings of the Second Working Conference on Reverse Engineering
A Discussion About Integrated Techniques
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Formal specification of dynamic constraints with the B method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Framework for Detecting Interface Violations in Component-Based Software
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Requirements interaction management
ACM Computing Surveys (CSUR)
Putting non-functional requirements into software architecture
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Proceedings of the 16th IEEE international conference on Automated software engineering
Journal of Systems and Software
Introducing non-functional requirements in UML
UML and the unified process
Formal methods for the validation of automotive product configuration data
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Contract-Checking Wrappers for C++ Classes
IEEE Transactions on Software Engineering
Formal methods for computer systems
Encyclopedia of Computer Science
Encyclopedia of Computer Science
Using Alloy to model-check visual design notations
ENC '05 Proceedings of the Sixth Mexican International Conference on Computer Science
Perceptions of extreme programming: an exploratory study
ACM SIGSOFT Software Engineering Notes
A specification-based approach to reasoning about pointers
SAVCBS '05 Proceedings of the 2005 conference on Specification and verification of component-based systems
Preliminary design of JML: a behavioral interface specification language for java
ACM SIGSOFT Software Engineering Notes
Roadmap for enhanced languages and methods to aid verification
Proceedings of the 5th international conference on Generative programming and component engineering
A relational database model for representation of formal specifications
Proceedings of the 44th annual Southeast regional conference
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
FSMC+, a tool for the generation of Java code from statecharts
Proceedings of the 5th international symposium on Principles and practice of programming in Java
A software quality strategy for the development of automatic control systems
International Journal of Computer Applications in Technology
Proceedings of the 30th international conference on Software engineering
Model eco-systems: preliminary work
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
LePUS3: An Object-Oriented Design Description Language
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Extending the equivalent transformation framework to model dynamic interactive systems
WSEAS Transactions on Computers
Automated Software Engineering
Constructive formal conversion of Moore machine to deterministic finite automata
MAMECTIS'08 Proceedings of the 10th WSEAS international conference on Mathematical methods, computational techniques and intelligent systems
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
Lessons learned from rigorous system software development
Information and Software Technology
Models and tools for managing development processes
Models and tools for managing development processes
Complexity of some problems in universal algebra extended abstract
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Efficient mining of recurrent rules from a sequence database
DASFAA'08 Proceedings of the 13th international conference on Database systems for advanced applications
SDL+QualNet: a novel simulation environment for wireless heterogeneous networks
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
A property based specification formalism classification
Journal of Systems and Software
An ontology based approach for operational process modeling
Advanced Engineering Informatics
A theory of classes from the theoretical foundations of LePUS3
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
Beyond assertions: advanced specification and verification with JML and ESC/Java2
FMCO'05 Proceedings of the 4th international conference on Formal Methods for Components and Objects
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
The location linking concept: a basis for verification of code using pointers
VSTTE'12 Proceedings of the 4th international conference on Verified Software: theories, tools, experiments
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Automatic Modeling and Analysis of MSC-specified Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Automatic synthesis of specifications for first order curry programs
Proceedings of the 14th symposium on Principles and practice of declarative programming
International Journal of Human-Computer Studies
Point-and-shoot security design: can we build better tools for developers?
Proceedings of the 2012 workshop on New security paradigms
TRSynth: a tool for automatic inference of term equivalence in left-linear term rewriting systems
PEPM '13 Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation
Formal model-based validation for tally systems
Vote-ID'13 Proceedings of the 4th international conference on E-Voting and Identity
Computational & Mathematical Organization Theory
Automated verification of design patterns: A case study
Science of Computer Programming
| Hi-index | 4.12 |
Formal methods used in developing computer systems (i.e. mathematically based techniques for describing system properties) are defined, and their role is delineated. Formal specification languages, which provide the formal method's mathematical basis, are examined. Certain pragmatic concerns about formal methods and their users, uses, and characteristics are discussed. Six well-known or commonly used formal methods are illustrated by simple examples. They are Z, VDM, Larch, temporal logic, CSP, and transition axioms.