Sciweavers

1804 search results - page 66 / 361
» Use Cases in Model-Driven Software Engineering
Sort
View
ISSTA
2009
ACM
15 years 10 months ago
A formal analysis of requirements-based testing
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
Charles Pecheur, Franco Raimondi, Guillaume Brat
121
Voted
RE
1997
Springer
15 years 7 months ago
Extended Requirements Traceability: Results of an Industrial Case Study
Contribution structures offer a way to model the network of people who have participated in the requirements engineering process. They further provide the opportunity to extend co...
Orlena Gotel, Anthony Finkelstein
107
Voted
ICSE
2007
IEEE-ACM
16 years 3 months ago
Using GUI Run-Time State as Feedback to Generate Test Cases
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
Xun Yuan, Atif M. Memon
145
Voted
APN
2006
Springer
15 years 7 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer
119
Voted
MDAFA
2004
Springer
116views Hardware» more  MDAFA 2004»
15 years 9 months ago
"Weaving" MTL Model Transformations
Model transformations are the core of the MDA approach to software development. As specified by the OMG, model transformations should act on any kind of model of any kind of metamo...
Raul Silaghi, Frédéric Fondement, Al...