3045 search results - page 187 / 609 » Formal Approaches to Software Architecture |
FMCAD
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
ICSE
2005
IEEE-ACM
15 years 11 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
APN
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
LWA
2007
15 years 23 days ago
2007
We propose SEASALT, an architecture based on the CoMES approach on developing collaborative multi-expert-systems using case-based reasoning and software agents technology. SEASALT...
121
click to vote
BMCBI
2008
14 years 11 months ago
2008
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...