10159 search results - page 271 / 2032 » System Design Validation Using Formal Models |
151
click to vote
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
132
click to vote
SERP
2003
15 years 4 months ago
2003
Modern approaches in software development propose the use of software architectures to help handle the complexity of large software system developments. An important technique to ...
120
click to vote
COMPSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
135
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Biological sequence repeats arranged in tandem patterns are widespread in DNA and proteins. While many software tools have been designed to detect DNA tandem repeats (...
147
click to vote
ACMDIS
2004
ACM
15 years 8 months ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...