1856 search results - page 157 / 372 » Formal Dialectic Specification |
145
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
135
click to vote
TSE
2002
15 years 4 months ago
2002
In this paper, we propose a means to enhance an architecture description language with a description of component behavior. A notation used for this purpose should be able to expr...
119
click to vote
ANSS
2000
IEEE
15 years 9 months ago
2000
IEEE
A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modele...
134
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
Software libraries are repositories which contain software components; as such, they represent a precious resource for the software engineer. As software libraries grow in size, it...
136
click to vote
AUSAI
2006
Springer
15 years 8 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...