Sciweavers

5457 search results - page 266 / 1092
» Clinical requirements engineering
Sort
View
SIGSOFT
2007
ACM
16 years 7 months ago
A behavioural model for product families
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
Alessandro Fantechi, Stefania Gnesi
SIGSOFT
2003
ACM
16 years 7 months ago
Context-sensitive slicing of concurrent programs
Program slicing is a technique to identify statements that may influence the computations at other statements. Precise slicing has been shown to be undecidable for concurrent prog...
Jens Krinke
ICSE
2003
IEEE-ACM
16 years 6 months ago
Integration of Usability Techniques into the Software Development Process
Software development organisations are paying more and more attention to the usability of their software products. To raise the usability level of the software product, it is nece...
Xavier Ferré
ICSE
2007
IEEE-ACM
16 years 6 months ago
Ownership and Immutability Inference for UML-Based Object Access Control
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
Yin Liu, Ana Milanova
190
Voted
ICSEA
2006
IEEE
16 years 22 days ago
Component-Based Development Process and Component Lifecycle
In recent years component-based development has in resent years become an established approach. Component-based Software Engineering (CBSE) that deals with the entire lifecycle of ...
Ivica Crnkovic, Michel R. V. Chaudron, Stig Larsso...