Sciweavers

11784 search results - page 424 / 2357
» Improving Software Process Improvement
Sort
View
ENTCS
2010
208views more  ENTCS 2010»
15 years 4 months ago
Accelerated Invariant Generation for C Programs with Aspic and C2fsm
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
Paul Feautrier, Laure Gonnord
FOAL
2008
ACM
15 years 8 months ago
Certificate translation for specification-preserving advices
Aspect Oriented Programming (AOP) has significant potential to separate functionality and cross-cutting concerns. In particular, AOP supports an incremental development process, i...
Gilles Barthe, César Kunz
ICSE
2005
IEEE-ACM
16 years 7 months ago
The Making of a Software Engineer
Software engineering is foremost an engineering discipline. Engineering in general and software engineering specifically has to balance many factors to achieve viable tradeoffs?an ...
Clemens A. Szyperski
QSIC
2007
IEEE
16 years 1 months ago
OPTIMA: An Ontology-Based PlaTform-specIfic software Migration Approach
Software migration is an inherently knowledge intensive activity, which requires a great amount of expertise and experience from different sources. Knowledge-based approach to sof...
Hong Zhou, Jian Kang, Feng Chen, Hongji Yang
CBSE
2004
Springer
16 years 7 days ago
Software Architectural Support for Disconnected Operation in Highly Distributed Environments
: In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall ...
Marija Mikic-Rakic, Nenad Medvidovic