403 search results - page 1 / 81 » Integrating Z into Large Projects Tools and Techniques |
ASM
2008
ASM
13 years 6 months ago
2008
ASM
WWW
2001
ACM
14 years 6 months ago
2001
ACM
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
IFM
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. We report on the notation and tool integration framework developed in the application-oriented research project Espress. The framework is based on a Z core and provides m...
ANLP
1994
13 years 6 months ago
1994
This paper reports on the assessment of computer assisted translation tools for a large localisation company and the practical evaluation of one such tool.
ZUM
1991
Springer
13 years 9 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...