134 search results - page 12 / 27 » An International Survey of Industrial Applications of Formal... |
ISORC
2007
IEEE
14 years 1 months ago
2007
IEEE
As E-businesses are becoming ubiquitous, enhancing the performance and scalability of ebusiness systems has become an increasingly important topic of investigation. As Vitruvius (...
EGICE
2006
13 years 10 months ago
2006
This paper describes an initial application of Multi-Attribute Collective Decision Analysis for a Design Initiative (MACDADI) on the feasibility study of a mixed-use facility. Firs...
ZUM
1991
Springer
13 years 10 months ago
1991
Springer
During 1990 and 1991 we carried out a survey of Z users in the UK; in this paper we present the results. Z is being used by a wide variety of companies for many different applicat...
FM
1997
Springer
13 years 11 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
IJAC
2011
12 years 10 months ago
2011
We summarize the main known results involving subword reversing, a method of semigroup theory for constructing van Kampen diagrams by referring to a preferred direction. In good ca...