2682 search results - page 193 / 537 » An Iterative-Cyclic Software Process Model |
75
Voted
ECSA
2008
Springer
15 years 18 hour ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
98
Voted
ASAP
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper reviews a set of techniques for compiling dataflow-based, graphical programs for embedded signal processing applications into efficient implementations on programmable ...
105
Voted
IFM
2010
Springer
14 years 8 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
108
click to vote
SAC
2009
ACM
15 years 5 months ago
2009
ACM
The number of computational trust models has been increasing rapidly in recent years, yet their applications for automating trust evaluation are still limited. The main obstacle i...
102
Voted
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...