Systematic software development using VDM
Systematic software development using VDM
The Z notation: a reference manual
The Z notation: a reference manual
VVSL: a language for structured VDM specifications
Formal Aspects of Computing
Formal Methods Applied to a Floating-Point Number System
IEEE Transactions on Software Engineering
Properties of Z specifications
ACM SIGSOFT Software Engineering Notes
The Science of Programming
Structured programming
ACM Transactions on Computer Systems (TOCS)
Deriving modular designs from formal specifications
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
Towards more formalism in software engineering education
SIGCSE '93 Proceedings of the twenty-fourth SIGCSE technical symposium on Computer science education
How good is good enough?: an ethical analysis of software construction and use
Communications of the ACM
Rewards of Taking the Path Less Traveled
IEEE Software
Strategies for incorporating formal specifications in software development
Communications of the ACM
Introducing formal methods through role-playing
SIGCSE '95 Proceedings of the twenty-sixth SIGCSE technical symposium on Computer science education
Mathematical Notation in Formal Specification: Too Difficult for the Masses?
IEEE Transactions on Software Engineering
Formal methods: an international perspective
ICSE '91 Proceedings of the 13th international conference on Software engineering
Reliable software and communication: software quality, reliability, and safety
ICSE '93 Proceedings of the 15th international conference on Software Engineering
A formal specifications maturity model
Communications of the ACM
Crossroads - Special issue on human computer interaction
A practical approach to security assessment
NSPW '97 Proceedings of the 1997 workshop on New security paradigms
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Behavior Model for Next Generation Test Systems
Journal of Electronic Testing: Theory and Applications
The ethics of safety-critical systems
Communications of the ACM
Goal-driven combination of software comprehension approaches for component based development
SSR '01 Proceedings of the 2001 symposium on Software reusability: putting software reuse in context
Experience teaching Z with tool and web support
ACM SIGSOFT Software Engineering Notes
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Mapping software: Are we nearing standardization?
Annals of Software Engineering
A two-level temporal logic for evolving specifications
Information Processing Letters
Splitting the Difference: The Historical Necessity of Synthesis in Software Engineering
IEEE Annals of the History of Computing
Ten Commandments of Formal Methods
Computer
Seven More Myths of Formal Methods
IEEE Software
Applying Formal Specification in Industry
IEEE Software
Nest: A Nested-Predicate Scheme for Fault Tolerance
IEEE Transactions on Computers
Specification and Validation of Control-Intensive IC's in hopCP
IEEE Transactions on Software Engineering
A Pragmatic Approach to Formalizing Object-Oriented Modeling and Development
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
Attempto Controlled English - Not Just Another Logic Specification Language
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Formal Methods: The Problem Is Education
SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Developing BON as an Industrial-Strength Formal Method
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
The Pros and Cons of Using SDL for Creation of Distributed Services
IS&N '99 Proceedings of the 6th International Conference on Intelligence and Services in Networks: Paving the Way for an Open Service Market
Journal of Systems and Software
SC(R)3: towards usability of formal methods
CASCON '98 Proceedings of the 1998 conference of the Centre for Advanced Studies on Collaborative research
Formal Methods: Mathematics, Computer Science, or Software Engineering?
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Composite Propositions: Toward Support for Formal Specification of System Properties
SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)
Inhibiting factors, market structure and the industrial uptake of formal methods
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Using fault injection to increase software test coverage
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
The Test Requirements Model (TeRM) Communicating Test Information Throughout the Product Life Cycle
ITC '99 Proceedings of the 1999 IEEE International Test Conference
API documentation with executable examples
Journal of Systems and Software
Formal methods for the validation of automotive product configuration data
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Adding the leads-to operator to Dijkstra's calculus
ACM SIGPLAN Notices
Knowledge engineering in the communication of Information for safety critical systems
The Knowledge Engineering Review
Models of interactive systems: a case study on programmable user modelling
International Journal of Human-Computer Studies
Challenges and Research Directions in Agent-Oriented Software Engineering
Autonomous Agents and Multi-Agent Systems
Reflections on Industry Trends and Experimental Research in Dependability
IEEE Transactions on Dependable and Secure Computing
Pigs from sausages? Reengineering from assembler to C via FermaT transformations
Science of Computer Programming - Special issue on program transformation
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Higher-Order Entity Relationship Modelling with UML
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Constraint animation using an object-oriented declarative language
ACM-SE 38 Proceedings of the 38th annual on Southeast regional conference
Process and product certification arguments: getting the balance right
ACM SIGBED Review - Special issues on workshop on innovative techniques for certification of embedded systems
A relational database model for representation of formal specifications
Proceedings of the 44th annual Southeast regional conference
A high assurance MLS file server
ACM SIGOPS Operating Systems Review
The B Method And The Component-Based Approach
Journal of Integrated Design & Process Science
Three Paradigms of Computer Science
Minds and Machines
VDMTools: advances in support for formal modeling in VDM
ACM SIGPLAN Notices
Software engineering and formal methods
Communications of the ACM - Enterprise information integration: and other tools for merging data
Transformation techniques can make students excited about formal methods
Information and Software Technology
Automated Software Engineering
Human-Computer Interaction
Software—Practice & Experience
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Achieving dependability in sensor networks through automated requirements-based programming
Computer Communications
Challenges in the successful transfer of formal methods technology into industrial applications
Information and Software Technology
A metamodeling approach to transform UML 2.0 sequence diagrams to Petri nets
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Validating Z specifications using the PROB animator and model checker
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Using patterns and composite propositions to automate the generation of LTL specifications
ATVA'07 Proceedings of the 5th international conference on Automated technology for verification and analysis
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
SDL+QualNet: a novel simulation environment for wireless heterogeneous networks
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Automated Formalisation for Verification of Diagrammatic Models
Electronic Notes in Theoretical Computer Science (ENTCS)
Software safety: relating software assurance and software integrity
International Journal of Critical Computer-Based Systems
Coupling-based transformations of Z specifications into UML diagrams
Innovations in Systems and Software Engineering
Integrating prototyping into the SOFL three-step modeling approach
ICFEM'11 Proceedings of the 13th international conference on Formal methods and software engineering
rCOS: refinement of component and object systems
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
A library of OCL specification patterns for behavioral specification of software components
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
A standard language for service delivery: Enabling understanding among stakeholders
Computer Standards & Interfaces
A design life-cycle for the formal design of user interfaces
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
Validated templates for specification of complex LTL formulas
Journal of Systems and Software
IW-FM'97 Proceedings of the 1st Irish conference on Formal Methods
Teaching formal methods: lessons to learn
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Tests derivation from model based formal specifications
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Generating formal specifications from CASE repositories
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
Large-scale formal verification in practice: a process perspective
Proceedings of the 34th International Conference on Software Engineering
A state-based model of sensor protocols
Theoretical Computer Science
Compositional verification of a medical device system
Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology
A Novel Formal Agent-Based Simulation Modeling Framework of an AIDS Complex Adaptive System
International Journal of Agent Technologies and Systems
| Hi-index | 0.07 |
Seven widely held conceptions about formal methods are challenged. These beliefs are variants of the following: formal methods can guarantee that software is perfect; they work by proving that the programs are correct; only highly critical systems benefit from their use; they involve complex mathematics; they increase the cost of development; they are incomprehensible to clients; and nobody uses them for real projects. The arguments are based on the author's experiences. They address the bounds of formal methods, identify the central role of specifications in the development process, and cover education and training.