358 search results - page 12 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
118
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
129
Voted
APSEC
1997
IEEE
15 years 7 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
133
Voted
SBMF
2010
Springer
14 years 10 months ago
2010
Springer
ProB is a model checker for high-level formalisms such as B, Event-B, CSP and Z. ProB uses a mixed depth-first/breadth-first search strategy, and in previous work we have argued th...
166
Voted
AGTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
144
Voted
ICFEM
1998
Springer
15 years 7 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...