3799 search results - page 93 / 760 » An Engineering Approach to Formal Methods |
DATE
2009
IEEE
14 years 3 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...
DAC
2004
ACM
14 years 10 months ago
2004
ACM
The desynchronization approach combines a traditional synchronous specification style with a robust asynchronous implementation model. The main contribution of this paper is the d...
CN
1998
13 years 8 months ago
1998
A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications servi...
WETICE
2003
IEEE
14 years 2 months ago
2003
IEEE
This article compares traditional requirements engineering approaches and agile software development. Our paper analyzes commonalities and differences of both approaches and deter...
USAB
2007
13 years 10 months ago
2007
The traditional approaches of HCI are essential, but they are unable to cope with the complexity of typical modern interactive devices in the safety critical context of medical dev...