Software evolution: the software maintenance challenge
Software evolution: the software maintenance challenge
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
Principles of parameterized programming
Software reusability: vol. 1, concepts and models
Software requirements: analysis and specification
Software requirements: analysis and specification
Software engineering with abstractions
Software engineering with abstractions
Requirements engineering as the reconciliation of social and technical issues
Requirements engineering
Software Merging and Slicing
Software Engineering
An Introduction to the Specification Language SPEC
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
An Object-Oriented Tool for Tracing Requirements
IEEE Software
Deductive Composition of Astronomical Software from Subroutine Libraries
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
Problems versus solutions: the role of the application domain in software
ESP '97 Papers presented at the seventh workshop on Empirical studies of programmers
Using symbolic execution for verifying safety-critical systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
An Object-Oriented Tool for Tracing Requirements
IEEE Software
An Introduction to Rapid System Prototyping
IEEE Transactions on Software Engineering
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
From Object-Process Diagrams to a Natural Object-Process Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Evolutionary Computer Aided Prototyping System (CAPS)
TOOLS '00 Proceedings of the Technology of Object-Oriented Languages and Systems (TOOLS 34'00)
LfP: A Specification Language for Rapid Prototyping of Concurrent Systems
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
Software development: processes and performance
IBM Systems Journal
Converging CSP specifications and C++ programming via selective formalism
ACM Transactions on Embedded Computing Systems (TECS)
Modeling and verifying behavioral aspects
Formal methods for embedded distributed systems
On checking the consistency of Object-Z classes
ACM SIGSOFT Software Engineering Notes
Transforming sources to petri nets: a way to analyze execution of parallel programs
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
From Model Driven Engineering to Verification Driven Engineering
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Text Classification and Machine Learning Support for Requirements Analysis Using Blogs
Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs
Schema changes and historical information in conceptual models in support of adaptive systems
Active conceptual modeling of learning
Software evolution via reusable architecture
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
| Hi-index | 0.00 |
Successfully applying formal methods to software development promises to move us closer to a true engineering discipline. The authors offer suggestions for overcoming the problems that have hindered the use of formal methods thus far.