Sciweavers

2741 search results - page 235 / 549
» Designing Law-Compliant Software Requirements
Sort
View
WOSP
2005
ACM
16 years 23 days ago
A model transformation framework for the automated building of performance models from UML models
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
Andrea D'Ambrogio
ICESS
2007
Springer
16 years 1 months ago
A Code Generation Framework for Actor-Oriented Models with Partial Evaluation
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...
Gang Zhou, Man-Kit Leung, Edward A. Lee
ECOOP
2004
Springer
16 years 18 days ago
Using Aspects to Make Adaptive Object-Models Adaptable
The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptive. In order to ach...
Ayla Dantas, Joseph W. Yoder, Paulo Borba, Ralph E...
ICSE
2008
IEEE-ACM
16 years 7 months ago
FeatureMapper: mapping features to models
Variability modelling with feature models is one key technique for specifying the problem space of Software Product Lines (SPLs). To allow for the automatic derivation of a concre...
Florian Heidenreich, Jan Kopcsek, Christian Wende
ICSE
2003
IEEE-ACM
16 years 12 days ago
Supporting Dependable Distributed Applications Through a Component-Oriented Middleware-Based Group Service
Abstract. Dependable distributed applications require flexible infrastructure support for controlled redundancy, replication, and recovery of components and services. However, mos...
Katia B. Saikoski, Geoff Coulson