J.-M. Bruel, B. Chintapally, R.B. France, G. Raghavan  Home/Search
Context
Related
| colostate.edu/~france/publ...FuZE.ps.gz fau.edu/~robert/publicatio...FuZE.ps.gz fau.edu/research/MIRG/publica...FuZE.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: colostate.edu/~france/pub...publi (more) From: fau.edu/~robert/publicati...publi (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report is the current Reference Manual for FuZE 1 . A HTML version is also available. History of the proposal: Date Name of the document Description Marsh 17 Draft 1 first draft 1 This document is still in progress. Contents 1 Overview 3 1.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3 1.2 FuZE: A Fusion/Z FIST Environment : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 4 1.3 Conclusion and future works : : : : : : : ... (Update)
Similar documents (at the sentence level): More
31.6%: A Tool for Rigorous Analysis of Object Models - Bruel, Chintapally, France.. (1996) (Correct)
24.3%: A Formal Object-Oriented CASE Tool for the Development of.. - Bruel, France (1996) (Correct)
17.8%: Formalizing Fusion Object-Oriented Analysis Models - Bates, Bruel, France.. (1996) (Correct)
Active bibliography (related documents): More All
0.4: The Role of Integrated Specification Techniques in Teaching.. - France, Bruel (1996) (Correct)
0.4: Towards A Formalization of UML Class Structures in Z - Shroff, France (1997) (Correct)
0.4: Towards Rigorous Analysis of Fusion Models: The MIRG.. - Robert France Jean-Michel (1997) (Correct)
Similar documents based on text: More All
0.3: Applying Fusion/UML to the Invoice Problem - France And Bruel (Correct)
0.2: Towards a Rigorous Object-Oriented Analysis and Design .. - France, Bruel.. (1997) (Correct)
BibTeX entry: (Update)
@misc{ bruel-fuze,
author = "J.-M. Bruel and B. Chintapally and R.B. France and G. Raghavan",
title = "FuZE - Draft of the User's Guide",
url = "citeseer.ist.psu.edu/bruel96fuze.html" }
Citations (may not include all citations):1286 Object-oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
1286 Object-Oriented Modeling and Design (context) - Rumbaugh, Blaha et al. - 1991
653 Object-oriented analysis and design with applications (context) - Booch - 1994
235 Object-Oriented Development: The Fusion Method (context) - Coleman, Arnold et al. - 1994
235 Object-Oriented Development: the Fusion Method (context) - Coleman, Arnold et al. - 1994
204 Object oriented software engineering (context) - Jacobson - 1992
200 Prentice Hall International Series in Computer Science (context) - Spivey, Notation et al. - 1992
199 Designing object oriented software (context) - Wirfs-Brock, Wilkerson - 1990
135 Information Processing -- Text and Office systems -- Standar.. (context) - International, Standardization - 1986
72 A formal semantics for object model diagrams (context) - Bourdeau, Cheng - 1995
49 Yourdon Press Computing Series (context) - Coad, Yourdon - 1991
39 Computing Science Consultancy (context) - Spivey, Manual - 1992
21 An Approach to Animating Z Specifications - Jia - 1995
21 User's Guide & Reference Manual (context) - Lamport - 1986
15 Prentice Hall International Series in Computer Science (context) - Hayes, Case - 1993
15 BCS FACS FACTS (context) - Jones - 1992
14 Rigorous specification using structured systems analysis and.. (context) - Mander, Polack - 1995
13 Accepted for standardization under ISO/IEC JTC1/SC (context) - Brien, Nicholls et al. - 1992
12 Department of Computer Science (context) - King, Object-Z et al. - 1990
9 A Two-Dimensional View of Integrated Formal and Informal Spe.. (context) - France, Larrondo-Petrie - 1995
9 The ZTC tool and documentation are available on Internet via.. (context) - Jia, Checker et al. - 1995
8 Teaching formal extensions of informal-based object-oriented.. (context) - Hartrum, Bailor - 1994
8 Understanding the role of formal specification techniques in.. (context) - France, Larrondo-Petrie - 1995
7 Formalizing Fusion Object Oriented Analysis Models - Bates, Bruel et al. - 1996
7 Protosoft Technical Support (context) - Inc, -- - 1994
7 A guide to the zed style option (context) - Spivey - 1990
3 York Software Engineering Ltd (context) - Toyn, Reference - 1990
1 FAU Technical Report TR-CSE (context) - Bruel, Chintapally et al. - 1996
Documents on the same site (http://www.cs.colostate.edu/~france/publications/publi.html): More
A Tale of Two Case Studies: Using Integrated.. - France, Wu.. (1996) (Correct)
A Formal Object-Oriented CASE Tool for the Development of.. - Bruel, France (1996) (Correct)
Applying Fusion/UML to the Invoice Problem - France, Bruel (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC