2514 search results - page 41 / 503 » The use of industrial-strength formal methods |
108
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
115
click to vote
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
The ‘engineering’ and ‘adaptive’ approaches to system production are distinguished. It is argued that producing reliable self-organised software systems (SOSS) will necessa...
104
click to vote
FORTE
2004
15 years 3 months ago
2004
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
137
click to vote
CLA
2004
15 years 3 months ago
2004
Ontology design is a complex and time-consuming process. It is extremely difficult for human experts to discover ontology from given data or texts. This paper presents a semi-autom...
142
click to vote
RTCSA
1997
IEEE
15 years 6 months ago
1997
IEEE
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...