Sciweavers

15885 search results - page 579 / 3177
» Strategic Software Engineering
Sort
View
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
SIGSOFT
2010
ACM
15 years 5 months ago
Minding the (semantic) gap: engineering programming language theory
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
Arjun Guha, Shriram Krishnamurthi
ICSR
2009
Springer
16 years 1 months ago
Extending FeatuRSEB with Concepts from Systems Engineering
FeatuRSEB is a method for domain modeling of software system families using the industry standard notation of the Unified Modeling Language. FeatuRSEB/Sys is an extension of FeatuR...
John M. Favaro, Silvia Mazzini
ECOWS
2007
Springer
16 years 1 months ago
Model-Driven Performance Evaluation for Service Engineering
Service engineering and service-oriented architecture as an integration and platform technology is a recent approach to software systems integration. Software quality aspects such ...
Claus Pahl, Marko Boskovic, Wilhelm Hasselbring
ADAEUROPE
2006
Springer
16 years 1 months ago
Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering
The maintenance and evolution of critical software with high requirements for reliability is an extremely demanding, time consuming and expensive task. Errors introduced by ad-hoc ...
Aoun Raza, Gunther Vogel, Erhard Plödereder