Sciweavers

852 search results - page 91 / 171
» Domain Modeling Based on Engineering Standards
Sort
View
FIW
2009
166views Communications» more  FIW 2009»
13 years 5 months ago
Feature Interactions in a Software Product Line for E-voting
A significant number of failures in e-voting systems have arisen because of poorly specified requirements, combined with an ad-hoc approach to engineering multiple variations of si...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
ISSTA
2004
ACM
14 years 1 months ago
Model checking XML manipulating software
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
Xiang Fu, Tevfik Bultan, Jianwen Su
ISSRE
2000
IEEE
14 years 5 days ago
Can Intuition Become Rigorous? Foundations for UML Model Verification Tools
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
José Luis Fernández Alemán, J...
EWSA
2004
Springer
14 years 1 months ago
Towards an MDA-Based Development Methodology
This paper proposes a development methodology for distributed applications based on the principles and concepts of the Model-Driven Architecture (MDA). The paper identifies phases ...
Anastasius Gavras, Mariano Belaunde, Luís F...
RE
1999
Springer
14 years 1 days ago
Generating User Interface Prototypes from Scenarios
Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, ...
Mohammed Elkoutbi, Ismaïl Khriss, Rudolf K. K...