855 search results - page 84 / 171 » A Software Synthesis Tool for Distributed Embedded System De... |
GCSE
2000
Springer
14 years 17 days ago
2000
Springer
Software reuse and especially the paradigm of software components are promising approaches to increase the efficiency of software development. One of the basic problems of software...
STTT
1998
13 years 8 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
SOFTVIS
2003
ACM
14 years 2 months ago
2003
ACM
The paper presents a new 3D representation for visualizing large software systems. The origins of this representation can be directly traced to the SeeSoft metaphor. This work ext...
CASES
2006
ACM
14 years 2 months ago
2006
ACM
Dynamic binary instrumentation (DBI) is a powerful technique for analyzing the runtime behavior of software. While numerous DBI frameworks have been developed for general-purpose ...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
Models need to be put under version control to facilitate collaboration and to control change. EMFStore is a Software Configuration Management system tailored to the specific re...