Sciweavers

9518 search results - page 336 / 1904
» On Mobility of Software Processes
Sort
View
SAFECOMP
1998
Springer
15 years 10 months ago
Safety Verification of Software Using Structured Petri Nets
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
Krzysztof Sacha
WCRE
2005
IEEE
16 years 10 days ago
Multiple Layer Clustering of Large Software Systems
Software clustering algorithms presented in the literature rarely incorporate in the clustering process dynamic information, such as the number of function invocations during runt...
Bill Andreopoulos, Aijun An, Vassilios Tzerpos, Xi...
XPU
2004
Springer
16 years 3 days ago
Human Aspects of Software Engineering: The Case of Extreme Programming
As with to other agile methods, which value "Individuals and interactions over processes and tools" (http://agilemanifesto.org/), Extreme Programming (XP) cares about th...
Orit Hazzan, James E. Tomayko
TCGOV
2005
Springer
16 years 7 days ago
Towards a Semantically-Driven Software Engineering Environment for eGovernment
As software processes for developing eGovernment services become more complex, it is necessary to provide computer-based tools to support the software engineering process. Furtherm...
Dimitris Apostolou, Ljiljana Stojanovic, Tom&aacut...
IWPC
1998
IEEE
15 years 11 months ago
Design Pattern Recovery in Object-Oriented Software
An approach to recover object oriented design patterns from design and code is presented. The pattern recovery process is based on a multi-stage filtering strategy to avoid combin...
Giuliano Antoniol, Roberto Fiutem, L. Cristoforett...