Sciweavers

4476 search results - page 561 / 896
» A flexible framework for engineering
Sort
View
KBSE
2006
IEEE
16 years 22 days ago
Automatic Generation of Detection Algorithms for Design Defects
Maintenance is recognised as the most difficult and expansive activity of the software development process. Numerous techniques and processes have been proposed to ease the mainte...
Naouel Moha, Yann-Gaël Guéhéneu...
SEFM
2006
IEEE
16 years 22 days ago
Modeling Heterogeneous Real-time Components in BIP
We present a methodology for modeling heterogeneous real-time components. Components are obtained as the superposition of three layers : Behavior, specified as a set of transitio...
Ananda Basu, Marius Bozga, Joseph Sifakis
128
Voted
ISSTA
2006
ACM
16 years 21 days ago
Performance assertions for mobile devices
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
Raimondas Lencevicius, Edu Metz
APSEC
2005
IEEE
16 years 11 days ago
Microcomponent-Based Component Controllers: A Foundation for Component Aspects
In most component models, a software component consists of a functional part and a controller part. The controller part may be extensible; however, existing component models provi...
Vladimir Mencl, Tomás Bures
ASWEC
2005
IEEE
16 years 11 days ago
A Process-Based Semantics for Message Sequence Charts with Data
Message Sequence Charts (MSCs) are a graphical language for scenarios of communicating components exchanging messages in a distributed environment. The language has been standardi...
Chien-An Chen, Sara Kalvala, Jane Sinclair