Sciweavers

1037 search results - page 132 / 208
» Lightweight Languages as Software Engineering Tools
Sort
View
VAMOS
2010
Springer
15 years 27 days ago
The Variability Model of The Linux Kernel
Lack of realistic benchmarks hinders efficient design and evaluation of analysis techniques for feature models. We extract a variability model from the code base of the Linux kerne...
Steven She, Rafael Lotufo, Thorsten Berger, Andrze...
ICSE
2009
IEEE-ACM
16 years 3 months ago
ContextServ: A platform for rapid and flexible development of context-aware Web services
Context-aware Web services are currently emerging as an important technology for building innovative contextaware applications. Unfortunately, context-aware Web services are still...
Quan Z. Sheng, Sam Pohlenz, Jian Yu, Hoi S. Wong, ...
ASWEC
2007
IEEE
15 years 9 months ago
Formal Validation of Hierarchical State Machines against Expectations
This paper explains some analyses that can be performed on a hierarchical finite state machine to validate that it performs as intended. Such a hierarchical state machine has tra...
Ian Toyn, Andy Galloway
ICSM
2007
IEEE
15 years 9 months ago
NOREX: A Distributed Reengineering Environment
Several reengineering environments have been created to provide for a unified infrastructure in which various approaches can be employed together. While the collaboration between...
Mihai Balint, Petru Florin Mihancea, Tudor Gî...
89
Voted
QSIC
2005
IEEE
15 years 8 months ago
Test Case Generation by OCL Mutation and Constraint Solving
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
Bernhard K. Aichernig, Percy Antonio Pari Salas