Sciweavers

144 search results - page 10 / 29
» Software Process Improvement in Multimodel Environments
Sort
View
MODELS
2009
Springer
14 years 2 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...
PROFES
2000
Springer
13 years 11 months ago
LIDs: A Light-Weight Approach to Experience Elicitation and Reuse
Building common ontologies, setting up measurement programs, and conducting interviews are valid techniques to start eliciting knowledge and experience for later reuse. However, th...
Kurt Schneider
PARELEC
2000
IEEE
13 years 11 months ago
Parallel Computing Environments and Methods
Recent advances in high-speed networks, rapid improvements in microprocessor design, and availability of highly performing clustering software implementations enables cost-effecti...
Ghassan Fadlallah, Michel Lavoie, Louis-A. Dessain...
ITICSE
2006
ACM
14 years 1 months ago
Foundational actions: teaching software engineering when time is tight
Often Software Engineering courses approach educating undergraduates in good processes and practices by using a simulated product development environment, following all of the ste...
Jerry Boetje
LSO
2004
Springer
14 years 1 months ago
Learning Software Maintenance Organizations
Abstract. Developing and maintaining software systems is a knowledge intensive task. One needs knowledge of the application domain of the software, the problem the system solves, t...
Kleiber D. de Sousa, Nicolas Anquetil, Káth...