Sciweavers

4209 search results - page 412 / 842
» Software Change and Evolution
Sort
View
ICSM
2005
IEEE
16 years 12 days ago
Towards a Framework for Testing Structural Source-Code Regularities
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
Kim Mens, Andy Kellens
METRICS
2005
IEEE
16 years 12 days ago
Managing Uncertainty in Requirements: A Survey in Documentation-Driven and Agile Companies
This paper investigates commonalities and differences between Agile and Documentation-driven approaches in managing uncertainty in requirement gathering. The research method is a ...
Alberto Sillitti, Martina Ceschi, Barbara Russo, G...
FASE
2001
Springer
15 years 11 months ago
A Real-Time Execution Semantics for UML Activity Diagrams
We define a formal execution semantics for UML activity diagrams that is appropriate for workflow modelling. Our semantics is aimed at the requirements level by assuming that sof...
Rik Eshuis, Roel Wieringa
FMLDO
1999
Springer
81views Database» more  FMLDO 1999»
15 years 11 months ago
Transactional Computation: Overview and Discussion
The concept of a transaction, highly significant in the context of data bases, is broadened to make it refer to any atomic operation that changes the state of a software system or...
Alfs T. Berztiss
WCRE
1995
IEEE
15 years 10 months ago
Strongest Postcondition Semantics as the Formal Basis for Reverse Engineering
Reverse engineering of program code is the process of constructing a higher level abstraction of an implementation in order to facilitate the understanding of a system that may be...
Gerald C. Gannod, Betty H. C. Cheng