358 search results - page 17 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
AUSAI
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...
AAMAS
2004
Springer
13 years 7 months ago
2004
Springer
The Procedural Reasoning System (PRS) is the best established agent architecture currently available. It has been deployed in many major industrial applications, ranging from fault...
ADAEUROPE
2001
Springer
14 years 9 hour ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...