Sciweavers

1575 search results - page 176 / 315
» Constraining Software Evolution
Sort
View
CORR
2010
Springer
122views Education» more  CORR 2010»
14 years 8 months ago
Evolving Graph Representation and Visualization
The study of evolution of networks has received increased interest with the recent discovery that many real-world networks possess many things in common, in particular the manner ...
Anurat Chapanond, Mukkai S. Krishnamoorthy, G. M. ...
JUCS
2010
103views more  JUCS 2010»
14 years 8 months ago
Using Lisp Implementation Internals Unportable but Fun
: We present a number of developer tools and language extensions that are available for use with Steel Bank Common Lisp, but which are perhaps not as wellknown as they could be. Ou...
Christophe Rhodes
ICSE
2003
IEEE-ACM
15 years 10 months ago
Consistency Management with Repair Actions
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
Christian Nentwich, Wolfgang Emmerich, Anthony Fin...
ADAEUROPE
2007
Springer
15 years 4 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
APAQS
2001
IEEE
15 years 1 months ago
Object-Oriented Program Behavior Analysis Based on Control Patterns
Code-patterns are statically recurring structure specific to a programming language. It can be parallel to aid in designing software systems for solving particular problems. Contr...
C.-C. Hwang, S.-K. Huang, D.-J. Chen, D. Chen