Sciweavers

1759 search results - page 118 / 352
» Overview of Generative Software Development
Sort
View
ICMT
2009
Springer
16 years 27 days ago
Model Superimposition in Software Product Lines
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to me...
Sven Apel, Florian Janda, Salvador Trujillo, Chris...
TCS
2002
15 years 6 months ago
A formal approach to object-oriented software engineering
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
Martin Wirsing, Alexander Knapp
CIIA
2009
15 years 7 months ago
Practical Use of an Audiometer Based on a Computer Software for Hearing Loss Screening
The project aimed at developing a software audiometer for hearing loss screening. The proposed software is definitely based on the internal peripherals of the computer without any ...
Ykhlef Fayçal, W. Benzaba, L. Bendaouia, A....
JSW
2007
102views more  JSW 2007»
15 years 6 months ago
Model-driven Engineering for Early QoS Validation of Component-based Software Systems
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
James H. Hill, Aniruddha S. Gokhale
FSEN
2007
Springer
16 years 15 days ago
A Behavioural Congruence for Web Services
Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equivalence for ...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...