Sciweavers

5668 search results - page 915 / 1134
» The case for software evolution
Sort
View
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 8 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
ICCS
2000
Springer
15 years 8 months ago
Conventions and Notations for Knowledge Representation and Retrieval
Abstract. Much research has focused on the problem of knowledge accessibility, sharing and reuse. Specific languages (e.g. KIF, CG, RDF) and ontologies have been proposed. Common c...
Philippe Martin
UML
2000
Springer
15 years 8 months ago
Supporting Several Levels of Restriction in the UML
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
Christian Heide Damm, Klaus Marius Hansen, Michael...
GROUP
1995
ACM
15 years 8 months ago
Understanding the requirements for information system documentation: an empirical investigation
Software and Information Systems (IS) documents are a common product of large IS development e orts. These documents are produced and consumed through a variety of documentation p...
Abdulaziz Jazzar, Walt Scacchi
CMMR
2009
Springer
190views Music» more  CMMR 2009»
15 years 7 months ago
Algorithms for an Automatic Transcription of Live Music Performances into Symbolic Format
This paper addresses the problem of the real-time automatic transcription of a live music performance into a symbolic format. The source data are given by any music instrument or o...
Stefano Baldan, Luca A. Ludovico, Davide A. Mauro