5775 search results - page 43 / 1155 » A Rationale-based Analysis Tool |
114
click to vote
CADE
2004
Springer
16 years 4 days ago
2004
Springer
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
BMCBI
2007
14 years 12 months ago
2007
Background: In an epitope-based vaccine setting, the use of conserved epitopes would be expected to provide broader protection across multiple strains, or even species, than epito...
SIGSOFT
2005
ACM
16 years 17 days ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable ...
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
Dataflow models are often used for analysing streaming applications. The recently introduced scenario-aware extension of the synchronous dataflow model can capture the dynamism ...