358 search results - page 10 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
JAR
2000
13 years 7 months ago
2000
We present a formal specification and verification approach for industrial product data bases containing Boolean logic formulae to express constraints. Within this framework, globa...
CPAIOR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
COMPSAC
1997
IEEE
13 years 11 months ago
1997
IEEE
Despite recent developments in formal methods, formal methods have yet to enter the mainstream of software industry. In this paper, we first examine the pragmatic obstacles of ma...
ENTCS
2008
13 years 6 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
FMICS
2008
Springer
13 years 9 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...