Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles
Explore this paper's citation graph
Summary
Cette plate-forme, appelee R2A (pour Requirements To Analysis) est entierement construite a l'aide de technologies issues de l'ingenierie dirigee par les modeles favorisant une meilleure integration des techniques de verification and de validation des exigences au sein des processus de developpement.
- Type
- preprint
- Published
- 2009-12-10
- Cited by
- 0
- References
- 178
- Access
- Open access
- OpenAlex
- https://openalex.org/W41191789
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:34294633
Keywords
Humanities, Philosophy, Political science
References
- Structured Analysis for Requirements Definition
- Classification of Model Transformation Approaches
- Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
- Reusable test requirements for UML-modeled product lines
- An Overview of UML Consistency Management
- On the State of the Art in Requirements-based Validation and Test ofSoftware
- Techniques for automatic verification of real-time systems
- Automating Requirements Management 1
- Ontologies pour le Web sémantique
- A Reference Model for Requirements and Specifications
- The Temporal Logic of Reactive and Concurrent Systems
- Toolkit for Conceptual Modeling (TCM): User's Guide and Reference
- CREWS-SAVRE: Scenarios for Acquiring and Validating Requirements
- An environment for use cases based requirements engineering
- From goals to aspects: discovering aspects from requirements goal models
- Requirements Engineering: Processes and Techniques
- Viewpoints: principles, problems and a practical approach to requirements engineering
- Composing Features by Managing Inconsistent Requirements
- The meaning of requirements
- SDL : formal object-oriented language for communicating systems
Cited by
No citing papers recorded for this paper.