Investigating a new formal model for a library system using B method
Abstract
References
Index Terms
- Investigating a new formal model for a library system using B method
Recommendations
A method of refinement in UML-B
UML-B is a `UML-like' graphical front-end for Event-B that provides support for object-oriented and state machine modelling concepts, which are not available in Event-B. In particular, UML-B includes class diagram and state machine diagram editors with ...
A Feature Model of E-Government Systems Integrated with Formal Specifications
ITNG '08: Proceedings of the Fifth International Conference on Information Technology: New GenerationsFeature modeling has become one of the most popular methods for representing variabilities and commonalities in software product families. In this paper we describe the feature model for e-government systems. In addition, we present a first approach to ...
Investigating a new formal model for autonomous virtual organisation using RAISE method
To develop software in safety-critical systems, formal methods have been served in first phase of new software engineering. The increasing complexity, cost and heterogeneity of distributed computing systems have motivated researchers to investigate ...
Comments
Information & Contributors
Information
Published In

Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 320Total Downloads
- Downloads (Last 12 months)5
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in