1164 search results - page 71 / 233 » Using CBR for Semantic Analysis of Software Specifications |
105
click to vote
ASE
2006
14 years 12 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
207
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Software Transactional Memory (STM) is an attractive basis for the development of language features for concurrent programming. However, the semantics of these features can be del...
132
click to vote
APSEC
2007
IEEE
15 years 6 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
143
click to vote
EDBTW
2006
Springer
15 years 3 months ago
2006
Springer
Scientific workflows facilitate automation, reuse, and reproducibility of scientific data management and analysis tasks. Scientific workflows are often modeled as dataflow networks...
CLEIEJ
2006
14 years 12 months ago
2006
: This paper presents an account of the experience observed when obtaining a set of requirements for the development of educational software for people with impaired vision. Numero...