1099 search results - page 61 / 220 » A tool for assisting the understanding and formal developmen... |
BMCBI
2010
13 years 9 months ago
2010
Background: Biological knowledge is represented in scientific literature that often describes the function of genes/ proteins (bioentities) in terms of their interactions (biointe...
ECOOP
2007
Springer
14 years 3 months ago
2007
Springer
— As new versions of software are developed bugs inevitably arise either due to regression or new functionality. Challenges arise in discovering, managing, and testing the impact...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
RSP
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...