Sciweavers

5407 search results - page 274 / 1082
» The Software Engineering Global Model
Sort
View
MODELS
2009
Springer
16 years 1 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
VAMOS
2008
Springer
15 years 8 months ago
Weaving Aspect Configurations for Managing System Variability
Variability management is a key concern in the software industry. It allows designers to rapidly propose applications that fit the environment and the user needs, with a certain Q...
Brice Morin, Olivier Barais, Jean-Marc Jéz&...
CSMR
2009
IEEE
15 years 11 months ago
Application of TreeNet in Predicting Object-Oriented Software Maintainability: A Comparative Study
There is an increasing interest in more accurate prediction of software maintainability in order to better manage and control software maintenance. Recently, TreeNet has been prop...
Mahmoud O. Elish, Karim O. Elish
SIGSOFT
2010
ACM
15 years 1 months ago
Evolution of a bluetooth test application product line: a case study
In this paper, we study the decision making process involved in the five year lifecycle of a Bluetooth software product produced by a large, multi-national test and measurement fi...
Narayan Ramasubbu, Rajesh Krishna Balan
EUROMICRO
2006
IEEE
16 years 22 days ago
Experience Report: Using Internal CMMI Appraisals to Institutionalize Software Development Performance Improvement
Critical to any successful performance improvement initiative is to achieve a state of continuous or institutionalized improvement. Some improvement can happen quickly, but long-t...
Fredrik Ekdahl, Stig Larsson