1988 search results - page 179 / 398 » Engineering formal metatheory |
147
Voted
FM
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
174
click to vote
SIGADA
2005
Springer
16 years 17 days ago
2005
Springer
Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program...
149
Voted
IHM
2004
ACM
16 years 15 days ago
2004
ACM
This paper describes an approach for the participatory design. After describing the trends in the domain, a formalization of the design process is expressed based on « phase »...
273
click to vote
FAABS
2004
Springer
16 years 14 days 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...
173
click to vote
FOSSACS
2004
Springer
16 years 14 days ago
2004
Springer
Labelled Markov processes (LMPs) are automata whose transitions are given by probability distributions. In this paper we present a ‘universal’ LMP as the spectrum of a commutat...