Improving Software Productivity
Computer
Using formal methods to reduce risks
Communications of the ACM
An object-oriented modeling method for algebraic specifications in CafeOBJ
ICSE '97 Proceedings of the 19th international conference on Software engineering
Introducing formal specification methods in industrial practice
ICSE '97 Proceedings of the 19th international conference on Software engineering
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
From formal models to formally based methods: an industrial experience
ACM Transactions on Software Engineering and Methodology (TOSEM)
Empirical results of a software engineering curriculum incorporating formal methods
Proceedings of the thirty-first SIGCSE technical symposium on Computer science education
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Formal Methods Application: An Empirical Tale of Software Development
IEEE Transactions on Software Engineering
Proving Consistency Assertions for Automotive Product Data Management
Journal of Automated Reasoning
Lightweight Analysis of Object Interactions
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The use of industrial-strength formal methods
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
The KeY Approach: Integrating Object Oriented Design and Formal Verification
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Dynamic Logic for the Formal Verification of Java Card Programs
JavaCard '00 Revised Papers from the First International Workshop on Java on Smart Cards: Programming and Security
Formal Modeling in a Commercial Setting: A Case Study
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
A Toolbox for Automating Visual Software Engineering
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
Teaching Formal Methods Early In the Software Engineering Curriculum
CSEET '00 Proceedings of the 13th Conference on Software Engineering Education & Training
Applying SOFL to Specify A Railway Crossing Controller for Industry
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Systematic Formal Verification of Interpreters
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A formal approach for designing CORBA-based applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal methods for the validation of automotive product configuration data
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
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
A UML 2-compatible language and tool for formal modeling real-time system architectures
Proceedings of the 2006 ACM symposium on Applied computing
A logic-based agent that plans for extended reachability goals
Autonomous Agents and Multi-Agent Systems
Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Human-Computer Interaction
Formal methods: Practice and experience
ACM Computing Surveys (CSUR)
A UML-Compatible formal language for system architecture description
SDL'05 Proceedings of the 12th international conference on Model Driven
ArchiTRIO: a UML-Compatible language for architectural description and its formal semantics
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
The user context and formal specification in interactive system design
FAC-FA'96 Proceedings of the 1996 BCS-FACS conference on Formal Aspects of the Human Computer Interface
| Hi-index | 4.12 |
One of the most challenging tasks in software system design is to assure reliability, especially as these systems are increasingly used in sensitive and often life-critical environments such as medical systems, air traffic control, and space applications. Many claim that formal methods not only provide assurance of reliability but also have the potential to reduce costs. Although the literature contains many excellent examples of applications of formal methods for large, critical, or even business transaction systems, a large percentage of practitioners see formal methods as irrelevant to their daily work. Why? This roundtable brings together some preeminent experts in the field, asking them to address the question "What is hindering the use of formal methods in industry?"