Alternate document:   Details   The Formal Reconstruction and Speedup Of The Linear Time Fragment Of Willard's Relational Calculus Subset (97) Deepak Goyal, Robert

See this document in CiteSeerX!

Formal Method Integration via Heterogeneous Notations (1997)  (Make Corrections)  (10 citations)
Richard Freeman Paige



  Home/Search   Context   Related

 
View or download:
toronto.edu/~paige/Writi...thesis.ps.gz
cs.yorku.ca/~paige/Writi...thesis.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  toronto.edu/~paige/use (more)
From:  cs.yorku.ca/~paige/pubs
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Method integration is the procedure of combining multiple methods to form a new technique. In the context of software engineering, this can involve combining specification techniques, rules and guidelines for design and implementation, and sequences of steps for managing an entire development. In current practice, method integration is often an ad-hoc process, where links between methods are defined on a case-by-case basis. In this dissertation, we examine an approach to formal method... (Update)

Similar documents based on text:   More   All
0.2:   [30] R. Paige. Applications of finite differencing to.. - Advances In Database   (Correct)
0.2:   Early Prototyping of Reactive Systems Through the Generation.. - Metzger, Queins (2002)   (Correct)
0.1:   Local-Global Interactions and the Role of Mesoscopic.. - Freeman, Kozma   (Correct)

Related documents from co-citation:   More   All
9:   Method Integration: Concepts and Case Studies (context) - Kronlof - 1993
9:   Software Requirements and Specifications (context) - Jackson - 1995
9:   A Practical Theory of Programming (context) - Hehner - 1993

BibTeX entry:   (Update)

R.F. Paige. Formal Method Integration via Heterogeneous Notations, PhD Dissertation, November 1997. http://citeseer.ist.psu.edu/paige97formal.html   More

@phdthesis{ paige97formal,
  author = "R. Paige",
  title = "Formal Method Integration via Heterogeneous Notations",
  month = nov,
  year = "1997",
  url = "citeseer.ist.psu.edu/paige97formal.html" }
Citations (may not include all citations):
2732   Communicating Sequential Processes (context) - Hoare - 1985
2157   Design Patterns: Elements of Reusable Object-Oriented Softwa.. (context) - Gamma, Helm et al. - 1995
1911   Introduction to Automata Theory (context) - Hopcroft, Ullman - 1978
1274   Object-oriented Software Construction (context) - Meyer - 1990
1002   Programming Language (context) - Stroustrup - 1994
831   Computer Graphics: Principles and Practice (context) - Foley, van Dam et al. - 1990
689   Systematic Software Development using VDM - Jones - 1990
652   A Discipline of Programming (context) - Dijkstra - 1976
650   An Axiomatic Basis for Computer Programming (context) - Hoare - 1969
637   The Entity-Relationship Model--Towards a Unified View of Dat.. (context) - Chen - 1976
616   Notation: A Reference Manual (context) - Spivey - 1989
476   Programming Language (context) - Kernighan, Ritchie - 1988
338   Foundations for the Study of Software Architecture - Perry, Wolf - 1992
295   Cambridge University Press (context) - Abrial, Book - 1996
293   Programming from Specifications (context) - Morgan - 1994
275   The Science of Programming (context) - Gries - 1981
271   Object-oriented Analysis (context) - Coad, Yourdon - 1990
268   Larch: Languages and Tools for Formal Specification (context) - Guttag, Horning - 1993
267   Software Engineering: a practitioner's approach (context) - Pressman - 1992
241   Object-Oriented Modelling and Design (context) - Rumbaugh, Blaha et al. - 1991
213   An Introduction to Software Architecture (context) - Garlan, Shaw - 1993
193   The Mythical Man-Month (context) - Brooks - 1995
168   Modern Structured Analysis (context) - Yourdon - 1989
167   Structured Analysis and System Specification (context) - DeMarco - 1979
154   A specifier's introduction to formal methods (context) - Wing - 1990
140   On Visual Formalisms - Harel - 1988
136   Inconsistency Handling in Multiperspective Specifications - Finkelstein, Gabbay et al. - 1993
123   Seven Myths of Formal Methods (context) - Hall - 1990
117   Software Reflexion Models: Bridging the Gap Between Source a.. - Murphy, Notkin et al. - 1995
112   System Development (context) - Jackson - 1983
88   Structured Design (context) - Yourdon, Constantine - 1979
88   A Tutorial Introduction to PVS (context) - Crow, Owre et al. - 1995
76   A Practical Theory of Programming (context) - Hehner - 1993
69   Object-oriented Design (context) - Booch - 1994
66   ACM Transactions on Software Engineering and Methodology (context) - Jackson, with - 1995
64   Programming Language (context) - Gurevich, Huggins et al. - 1993
61   Principles of Program Design (context) - Jackson - 1975
59   A Logical Approach to Discrete Math (context) - Gries, Schneider - 1993
53   Ten Commandments of Formal Methods - Bowen, Hinchey - 1994
53   An axiomatic definition of the programming language Pascal (context) - Hoare, Wirth - 1973
50   Software Requirements and Specifications (context) - Jackson - 1995
48   Structured Analysis for requirements definition (context) - Schoman, Ross - 1977
48   Experience with formal methods in critical systems (context) - Gerhart, Craigen et al. - 1994
45   on Programming Languages and Systems (context) - Abadi, Lamport et al. - 1993
44   Using Formal Methods to Develop an ATC Information System (context) - Hall - 1996
43   Object-Orientation in Z (context) - Stepney, Barden et al. - 1992
41   Formal Object-Oriented Development (context) - Lano - 1995
40   Applications of Formal Methods (context) - Hinchey, Bowen - 1995
38   Integrated Structured Analysis and Formal Specification Tech.. (context) - Semmens, France et al. - 1992
37   the correctness of refinement steps in program development (context) - Back - 1978
37   Refinement of state-based concurrent systems (context) - Woodcock, Morgan - 1990
35   Specification and Transformation of Programs (context) - Partsch - 1990
34   SADT -- Structured Analysis and Design Technique (context) - Marca, McGowan - 1988
31   The SAZ Project: Integrating SSADM and Z (context) - Polack, Whiston et al. - 1993
31   and the refinement calculus (context) - King - 1990
30   The Industrial Take-up of Formal Methods in SafetyCritical a.. - Bowen, Stavridou - 1993
28   Case Studies in Systematic Software Development (context) - Jones, King - 1990
28   Method Integration: Concepts and Case Studies (context) - Kronlof - 1993
27   Where do operations come from (context) - Zave, Jackson - 1996
20   A Meta-Method for Formal Method Integration - Paige - 1997
19   Providing Integrated Support for Multiple Development Notati.. - Grundy, Venable - 1995
19   Specifying and Interpreting Class Hierarchies in Z (context) - Hall - 1994
19   Adding specification constructors to the refinement calculus (context) - Ward - 1993
19   A Software Design Method for Real-Time Systems (context) - Gomaa - 1984
18   Specifications from Object-Oriented Analysis (context) - Hammond - 1994
17   Refinement Diagrams (context) - Back - 1991
17   Controlling Software Projects: Management (context) - DeMarco - 1982
17   Termination Conventions and Comparative Semantics (context) - Hehner, Malton - 1988
16   Abstractions of Time - Hehner - 1995
16   A Lattice-Theoretical Basis for a Specification Language (context) - Back, von Wright - 1989
15   Selling Formal Methods to Industry (context) - Weber-Wulff - 1993
12   Prentice-Hall (context) - Barden, Stepney et al. - 1994
11   Multiparadigm Specification Languages: a first attempt at fo.. (context) - Astesiano, Cerioli - 1993
11   Unintrusive ways to integrate formal specifications in pract.. - Wing, Zaremski - 1992
11   Software development methods in practice (context) - Hill - 1991
11   Unified Theories of Programming (context) - Hoare - 1994
11   Physical Chemistry (context) - Atkins - 1990
11   The Unification of Three Calculi (context) - Dijkstra - 1993
10   Giving Voice to Requirements Engineering (context) - Davis, Hsia - 1994
10   Using Yourdon and Z: an approach to formal specification (context) - Semmens, Allen - 1991
10   on Software Engineering and Methodology (context) - Zave, Jackson et al. - 1993
10   A formal specification of some important 5ESS features - Zave, Mataga - 1993
9   IEEE Software (context) - on - 1994
9   IEEE Software (context) - on, Systems - 1994
9   Data refinement using miracles (context) - Morgan - 1988
9   A weakest precondition semantics for Z - Cavalcanti, Woodcock - 1995
9   van den Broek (context) - Schefstrom - 1993
7   Technical Report TR (context) - Group, Metamodeling et al. - 1994
7   A Reference Model for Information Systems Development (context) - Heym, Osterle - 1992
7   Object Development Methods (context) - Carmichael - 1994
7   Integrating Structured and Formal Methods: A Visual Approach.. (context) - Dick, Loubersac - 1994
7   Principles of CASE Tool Integration (context) - Brown, Carrey et al. - 1994
7   Refinement calculus II: parallel and reactive programs (context) - Back - 1990
6   Formal Specifications in Metamorphic Programming - Penny, Holt et al. - 1992
6   Mathematics of Software Engineering (context) - Broy - 1995
6   Towards an integrated combination of SA and VDM (context) - Larsen, van Katwijk et al. - 1991
6   STATEMENT: A working environment for the development of comp.. (context) - Harel, Lachover et al. - 1988
6   Computer Networks and ISDN Systems (context) - Faergemand, Olsen et al. - 1994
5   Data flow diagrams and Z (context) - Randell - 1991
5   Piecewise data refinement (context) - Morris - 1990
5   Advanced Information Systems Engineering (context) - Iivari, Lyytinen et al. - 1995
5   LCL: A Larch interface language for C (context) - Guttag, Horning - 1991
5   Object Lifestyles -- Modeling the World in States (context) - Shlaer, Mellor - 1992
4   The Turing Language: Design and Definition (context) - Holt, Matthews et al. - 1987
4   Applications of Angelic Nondeterminism (context) - Ward, Hayes - 1991
4   Formal Development of a Software Architecture for a Family o.. (context) - Garlan, Delisle
4   CICS Project report: experience and results for the use of Z.. (context) - Houston, King - 1992
4   and Literate Development (context) - Morgan, Calculus - 1993
4   Architectural Design (context) - Buxton, McDermid - 1992
3   Slides from WG (context) - Hayes - 1995
3   Lessons Learned from Applying Formal Specification in Indust.. - Larsen, Fitzgerald et al. - 1996
3   Lessons Learned from the OS/400 OO Project (context) - Berg, Cline et al. - 1995
3   Informal Strategies in Design by Refinement (context) - Naftalin - 1994
3   Preconditions for understanding (context) - Garlan - 1991
3   Structured methodologies and formal notations: developing a .. (context) - Bryant - 1989
2   Linking Notations and Theories in a Proof Tool (context) - Cardell-Oliver, Hale - 1995
2   A Review of Existing Refinement Tools - Carrington, Hayes et al. - 1994
2   Support for Incremental Method Engineering and MetaCASE (context) - Kelly, Tahvanainen - 1994
2   Formal specification techniques for promoting software modul.. (context) - Tan - 1994
2   Flexible method adaptation in CASE -- the metamodeling appro.. (context) - Tolvanen, Lyytinen - 1993
2   SSADM for the Advanced Practitioner (context) - Hares - 1990
2   Lectures on data refinement (context) - Gries - 1990
2   A Tale of Two Case Studies: Using Integrated Methods to Supp.. - France, Wu et al. - 1996
2   The Art of Readable Writing (context) - Flesch - 1949
2   Formal specification techniques in the commercial developmen.. - Fitzgerald, Larsen - 1995
1   Structured Design for Real-Time Systems (context) - Ward, Mellor - 1986
1   Window System Programming (context) - Barkakat - 1994
1   How to Integrate Object Orientation with SA/D (context) - Ward - 1989
1   Combining VDM-SL Specifications with C++ Code (context) - Frolich, Larsen - 1996
1   Correctness and Performance Analysis of Imperative and Funct.. (context) - Paige - 1994
1   Software Process Technology: Proc (context) - Schafer - 1995
1   Another Look at Communicating Processes (context) - Hehner, Hoare - 1981
1   Formalizing the Semantics of Ward/Mellor SA/RT Essential Mod.. (context) - Fencott, Galloway et al. - 1994
1   Mathematical Methods in System and Software Engineering - Broy - 1997
1   the Fourth International Software Process Workshop (context) - of - 1988
1   BCS Practitioner Series (context) - Brock, George et al. - 1992
1   to code: a case study in refinement (context) - King, Sorensen et al. - 1989
1   Technical Monograph TM-PRG (context) - Brien, Nicholls et al. - 1992
1   Fifth European Software Engineering Conference (context) - Engineering--ESEC - 1995
1   Studies of Software Design (context) - Lamb - 1996



The graph only includes citing articles where the year of publication is known.

Documents on the same site (http://www.cs.toronto.edu/~paige/use.html):   More
Higraph-based Predicate and Heterogeneous Specification - Paige (1995)   (Correct)
Heterogeneous Notations for Formal Method Integration - Paige (1997)   (Correct)
Heterogeneous Specifications and their Application to Software.. - Paige (1995)   (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