4890 search results - page 33 / 978 » From system specifications to component behavioral models |
SIGSOFT
2009
ACM
15 years 10 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
SOCO
2007
Springer
15 years 3 months ago
2007
Springer
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
BMCBI
2006
14 years 9 months ago
2006
Background: Successful realization of a "systems biology" approach to analyzing cells is a grand challenge for our understanding of life. However, current modeling appro...
128
click to vote
ARES
1998
Springer
15 years 1 months ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Malware detectors require a specification of malicious behavior. Typically, these specifications are manually constructed by investigating known malware. We present an automatic t...