Sciweavers

2274 search results - page 269 / 455
» Qualitative Modeling for Requirements Engineering
Sort
View
JLP
2008
108views more  JLP 2008»
15 years 6 months ago
Composition mechanisms for retrenchment
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
Richard Banach, Czeslaw Jeske, Michael Poppleton
ICST
2008
IEEE
16 years 28 days ago
State-Based Testing of Ajax Web Applications
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
Alessandro Marchetto, Paolo Tonella, Filippo Ricca
SOCO
2007
Springer
16 years 19 days ago
Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the com...
Dietmar Schreiner, Karl M. Göschka
FASE
2005
Springer
16 years 1 days ago
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
Genaína Nunes Rodrigues, David S. Rosenblum...
COMPSAC
2007
IEEE
15 years 6 months ago
A Connector-Centric Approach to Aspect-Oriented Software Evolution
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
Yiming Lau, Wenyun Zhao, Xin Peng, Shan Tang