2274 search results - page 79 / 455 » Qualitative Modeling for Requirements Engineering |
173
click to vote
TPHOL
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
147
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
183
click to vote
CMSB
2007
Springer
15 years 11 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
160
click to vote
ISF
2006
15 years 5 months ago
2006
The development of complex products, such as automobiles, involves engineering changes that frequently require redesigning or altering the products. Although it has been found that...
141
click to vote
B
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...