355 search results - page 9 / 71 » Aspects of Formal and Graphical Design of a Bus System |
HASE
1998
IEEE
14 years 12 days ago
1998
IEEE
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
DL
1998
Springer
14 years 11 days ago
1998
Springer
We describe an extensible constructor tool that helps information experts (e.g., librarians) create specialized query synthesizers for heterogeneous digital-library environments. ...
FDL
2007
IEEE
14 years 16 hour ago
2007
IEEE
With the increasing complexity of today's embedded systems, there is a need to formally verify such designs at mixed abstraction levels. This is needed if some compoe describ...
KBSE
1994
IEEE
14 years 7 days ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
ECBS
2005
IEEE
14 years 1 months ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...