UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method
UB2SQL is a tool for designing and developing database applications using UML and B formal method. The approach supported by UB2SQL...
Formal approaches to systems analysis using UML: An overview
Formalmethods, where by a system is described and/or analyzed using precise mathematical techniques, is a well-established and yet, under-used...
Methodology evaluation framework for component-based system development
Components are already prominent in the implementation and deployment of advanced distributed information systems. Part and parcel of this...
Modeling temporal dynamics for business systems
Research in temporal database management has viewed temporal dynamics from a structural perspective, posing extensions to the entity-relationship (E-R)...
Informational and computational equivalence in comparing information modeling methods
Information modeling methods are key to the success of IS development projects. The problem in the software engineering field...
Applying Ontologies to Business and Systems Modelling Techniques and Perspectives: Lessons Learned
For many years in the area of business systems analysis and design, practitioners and researchers alike have been searching...
Theoretical vs. Practical Complexity: The Case of UML
Unified Modeling Language (UML) is the standard visual modeling language for Object Oriented (OO) systems development, but it has been criticized for...
The use of subtypes and stereotypes in the UML model
Based on users' experiences of Version 1.3 of the Unified Modeling Language (UML) of the Object Management Group (OMG), a Request For Information...
BROOD: Business Rules-driven Object Oriented Design
A critical success factor for information systems is their ability to evolve as their environment changes. There is compelling...
Ontology Based Object-Oriented Domain Modeling: Representing Behavior
An important step in developing the requirements for an information system is analyzing the application domain. In this step,...
