Searching for authors named "Boumediene Belkhouche" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Multiple View Analysis of Designs
- …During design formulation, designs are subjected to an evaluation and verification process, the goal of which is the detection of design errors. The analysis of different designs or "views" using different design notations has been proposed to achieve this goal. The formal support for the use of mul…
- Cited by 4 (1 self) – Add To MetaCart
-
Semantic Case Analysis of Informal Requirements
- …Semantic case analysis provides a useful and powerful tool for the object-oriented requirements analyst. Two important areas of object-oriented requirements analysis are addressed: (1) identification of entities which should be modeled as objects in the software design; and (2) detection of ambiguit…
- Cited by 6 (1 self) – Add To MetaCart
-
Behavioral Specification and Analysis of Object-Oriented Designs
- …Formal specifications of design models and an automated analysis system are desirable regardless of the methodology employed in the development process. The object--oriented software development paradigm is being advocated as an effective software methodology. Yet, neither a design framework, nor…
- Cited by 1 (1 self) – Add To MetaCart
-
Analysis of Object-oriented Designs
- …Software design is the phase of software life cycle where a precise notation is needed to express the system architectural view. The quality and validation of designs are established through analysis. A formal representation of design models and an automated design analysis system are desirable rega…
- Cited by 2 (2 self) – Add To MetaCart
-
Multiple Views Analysis Of Software Designs
- …Semantics of Notation 1 Abstract Interpretation Abstract Semantics of Notation 2 of Notation 2 Concrete Semantics (Mapping Functions) Abstraction Functions Figure 2: Multiple View Analysis Framework. validity). These analyses are performed to guarantee that each design is well-- constructed [15, 13…
- Add To MetaCart
-
A Formally Specified Prototyping System
- …The intent of this research is to cast the prototyping method in a formal setting and to demonstrate the feasibility of such a formalization. As such, a formal basis for developing and analyzing prototyping methods and prototyping environments is formulated. Concurrently, an objective definition o…
- Cited by 1 (0 self) – Add To MetaCart
-
RSP: A Language Supporting Synchronization Using Rendezvous
- …A language based on uninterpreted atomic actions and supporting angelic nondeterminism and parallel composition is studied. The language includes also a version of the rendezvous protocol for synchronization between processes. An operational semantics and related adequate and fully abstract denotati…
- Add To MetaCart
-
An Expert Decision Support System for Crisis Management
- …An integrated model for crisis management is described. The implementation of this model consists of several software packages, a knowledge base, and set of expert rules. Existing rules and regulations designed specifically to tackle various types of possible crises (e.g., fire) are formalized. A pr…
- Add To MetaCart
-
Object Oriented Analysis through a Knowledge-Based System
- …This research is an attempt to provide some basis for a systematic and problem independent objectoriented analysis approach. It presents an object oriented requirements analysis strategy based on a knowledge representation scheme. An abstract model and a strategy for object-oriented requirements …
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 9.
