420 search results - page 28 / 84 » Towards Design Tools for Protocol Development |
146
click to vote
FAABS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
113
click to vote
HICSS
2000
IEEE
15 years 4 months ago
2000
IEEE
Many conceptual modeling and system design methodologies provide tools to help system designers to model the real world. No guidelines exist, however, for determining the relation...
NJC
2006
14 years 11 months ago
2006
In model based design model fragments are used in everyday work. Concurrent operations on separate parts of a model and communication between stakeholders are some examples. Howeve...
126
click to vote
I3E
2001
15 years 1 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
100
click to vote
TOOLS
1999
IEEE
15 years 4 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...