1347 search results - page 99 / 270 » An Approach to Software Evolution Based on Semantic Change |
KBSE
2008
IEEE
15 years 4 months ago
2008
IEEE
The frequent changes during the development and usage of large software systems often lead to a loss of architectural quality which hampers the implementation of further changes a...
ICSEA
2006
IEEE
15 years 3 months ago
2006
IEEE
In recent years component-based development has in resent years become an established approach. Component-based Software Engineering (CBSE) that deals with the entire lifecycle of ...
TSE
2010
14 years 8 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...
WWW
2011
ACM
14 years 4 months ago
2011
ACM
An object on the Semantic Web is likely to be denoted with multiple URIs by different parties. Object coreference resolution is to identify “equivalent” URIs that denote the ...
APSEC
1997
IEEE
15 years 2 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...