Communicating sequential processes
Communicating sequential processes
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
The RAISE specification language
The RAISE specification language
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Observations on industrial practice using formal methods
ICSE '93 Proceedings of the 15th international conference on Software Engineering
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
System verification through program verification
FM'11 Proceedings of the 17th international conference on Formal methods
| Hi-index | 0.00 |
Recently, several flavors of formal methods have been gaining industrial acceptance and production quality software tools have begun emerging. Domain Engineering (DE) has been introduced as one of outstanding ideas in software development. It serves Formal Methods (FMs) that provide a rigorous, mathematical based framework for specifying, defining, and verifying systems in the software development for critical systems. New software engineering includes three phases consisting of domain engineering, requirement engineering, and design and implementation. The purpose of this paper is to introduce the key concepts of domain engineering with providing overview information about formal methods and applying RAISE as a formal method that has been used successfully on various, diverse applications. Then, a particular banking domain is specified with using them. Formal model presented in this paper is provable to implement this domain. With merginging object oriented technology with domain engineering, this model can be extended for serving in distributed systems. It improves reusability and reliability in such environments.