Sciweavers

1445 search results - page 31 / 289
» Tool Integration in Software Engineering Environments
Sort
View
SEKE
2001
Springer
14 years 2 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto
AMOST
2007
ACM
14 years 1 months ago
Combining test case generation for component and integration testing
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
Sebastian Benz
APN
2006
Springer
14 years 1 months ago
On the Integration of UML and Petri Nets in Software Development
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
Javier Campos, José Merseguer
APAQS
2001
IEEE
14 years 1 months ago
A Path to Virtual Software Inspection
A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current t...
Lasse Harjumaa, Henrik Hedberg, Ilkka Tervonen
APSEC
2008
IEEE
14 years 4 months ago
Domain Specific Engineering Environments
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
Jacky Estublier, Germán Vega, Philippe Lala...