Specification References
@MISC{Alencar,
AUTHOR = "Antonio J. Alencar",
TITLE = "{OOZE:} An Object Oriented {Z} Environment",
KEYWORDS = "SOFTENG, FORMAL SPECIFICATION, Z, ZED"
}
@TECHREPORT{Benveniste90,
AUTHOR = "Marc Benveniste",
TITLE = "Operational Semantics of a Distributed Object-Oriented
Language and its {Z} Formal Specification",
INSTITUTION = "INRISA/INRIA-Rennes",
TYPE = "Publication Interne",
NUMBER = 532,
ADDRESS = "Rennes Cedex, France",
MONTH = apr,
YEAR = 1990,
KEYWORDS = "PROGLANG, DISTCOMP, SEMANTICS, Z"
}
@BOOK{Bjorner82,
AUTHOR = {Dines Bj\"orner and Cliff B. Jones},
TITLE = "Formal Specification \& Software Development",
PUBLISHER = PrenticeHall,
NOTE = "ISBN 0-13-329003-4",
YEAR = 1982,
KEYWORDS = "PROGLANG, DENOTATIONAL SEMANTICS, SPECIFICATION, VDM"
}
@ARTICLE{Blum87,
AUTHOR = "E. K. Blum and Herbert Ehrig and F. Parisi-Presicce",
TITLE = "Algebraic Specification of Modules and Their
Basic Interconnections",
JOURNAL = JCSS,
NUMBER = 34,
PAGES = {293--339},
YEAR = 1987,
KEYWORDS = "SOFTENG, MODULE, SPECIFICATION"
}
@ARTICLE{CoenPorisini91,
AUTHOR = "Alberto Coen-Porisini and Flavio De Paoli and Carlo Ghezzi
and Dino Mandrioli",
TITLE = "Software Specialization Via Symbolic Execution",
JOURNAL = SOFTENG,
VOLUME = 17,
NUMBER = 9,
PAGES = {884--899},
MONTH = sep,
YEAR = 1991,
KEYWORDS = "SOFTENG, SPECIFICATION"
}
@CONFERENCE{Cusack,
AUTHOR = "Elspeth Cusack",
TITLE = "Inheritance in Object Oriented {Z}",
BOOKTITLE = "XXX",
PAGES = {25--35},
ADDRESS = "",
MONTH = "",
YEAR = 1989,
KEYWORDS = "SOFTENG, OOP, Z, ZED"
}
@ARTICLE{Davis88,
AUTHOR = "Alan M. Davis",
TITLE = "A Comparison of Techniques for the Specification of
External System Behavior",
JOURNAL = CACM,
VOLUME = 31,
NUMBER = 9,
PAGES = {1098--1115},
MONTH = sep,
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION"
}
@TECHREPORT{DharapXX,
AUTHOR = "Sanjeev Dharap and K. T. Narayana",
TITLE = "Multiuser, distributed Specification Environments
for {Z}",
INSTITUTION = "??",
NUMBER = "??",
YEAR = 1900,
KEYWORDS = "ENVIRONMENT, SPECIFICATION, ENG, ZED"
}
@ARTICLE{Dijkstra89,
AUTHOR = "Edsger W. Dijkstra and W. H. Feijen",
TITLE = "The Linear Search Revisited",
JOURNAL = "Structured Programming",
NUMBER = 1,
PAGES = {5--9},
YEAR = 1989,
KEYWORDS = "ALGORITHM, LINEAR SEARCH, SPECIFICATION, VERIFICATION"
}
@BOOK{Diller90,
AUTHOR = "Antoni Diller",
TITLE = "{Z}: {An} Introduction to Formal Methods",
PUBLISHER = JohnWiley,
NOTE = "ISBN 0-471-92489 X",
YEAR = 1990,
KEYWORDS = "SPECIFICATION, Z"
}
@ARTICLE{Duke87a,
AUTHOR = "Roger Duke and D. Johnston and G. A. Rose",
TITLE = "Specifying the Static Semantics of
Block Structured Languages",
JOURNAL = "The Australian Computer Journal",
VOLUME = 19,
NUMBER = 2,
PAGES = {99--104},
MONTH = may,
YEAR = 1987,
KEYWORDS = "PROGLANG, SEMANTICS, PASCAL, Z"
}
@TECHREPORT{Duke87b,
AUTHOR = "Roger Duke",
TITLE = "Predicate Rules for {Pascal} Static Semantics",
INSTITUTION = "Department of Computer Science, The University of Queensland",
ADDRESS = "St. Lucia, Queensland, Australia",
NUMBER = 86,
MONTH = sep,
YEAR = 1987,
KEYWORDS = "PROGLANG, SEMANTICS, PASCAL, Z"
}
@TECHREPORT{Duke91,
AUTHOR = "Roger Duke and Paul King and Gordon Rose and Graeme Smith",
TITLE = "Predicate Rules for {Pascal} Static Semantics",
INSTITUTION = "Software Verification Research Centre,
Department of Computer Science,
The University of Queensland",
ADDRESS = "St. Lucia, Queensland, Australia",
NUMBER = "91-1",
MONTH = may,
YEAR = 1991,
KEYWORDS = "SOFTENG, SPECIFICATION, VERIFICATION, OOP, OBJECT-Z, Z"
}
@TECHREPORT{Duke91a,
AUTHOR = "Roger Duke and Paul King and Gordon Rose and Graeme Smith",
TITLE = "The {Object-Z} Specification Langauge, Version 1",
INSTITUTION = "Software Verification Research Centre, Department
of Computer Science, The University of Queensland, Australia",
NUMBER = "91-1",
YEAR = 1991,
KEYWORDS = "SOFTENG, SPECIFICATION, OBJECT-Z, ZED"
}
@ARTICLE{Ernst80,
AUTHOR = "George W. Ernst and William F. Ogden",
TITLE = "Specification of Abstract Data Types in {Modula}",
JOURNAL = TOPLAS,
VOLUME = 2,
NUMBER = 4,
PAGES = {522--543},
MONTH = oct,
YEAR = 1980,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULA-2"
}
@TECHREPORT{Garland90,
AUTHOR = "Stephen J. Garland and John V. Guttag and James J. Horning",
TITLE = "Debuggin Larch Shared Language Specifications",
NUMBER = 60,
INSTITUTION = "DEC Systems Research Center",
ADDRESS = "130 Lytton Avenue, Palo Alto, California 94301",
MONTH = jul,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, LARCH"
}
@ARTICLE{Gerrard90,
AUTHOR = "Christopher Paul Gerrard and Derek Coleman and
Robin M. Gallimore",
TITLE = "Formal Specification and Design Time Testing",
JOURNAL = SOFTENG,
VOLUME = 16,
NUMBER = 1,
PAGES = {1--11},
MONTH = jan,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, TESTING, OBJ"
}
@TECHREPORT{Godfrey90,
AUTHOR = "Michael W. Godfrey and Richard C. Holt",
TITLE = "{Spectur} -- A Specification Language for the Programmer",
INSTITUTION = "Computer Systems Research Institute. University of Toronto",
NOTE = "ISSN 0834-1648",
NUMBER = "CSRI-241",
MONTH = jun,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION"
}
@ARTICLE{Goguen86,
AUTHOR = "Joseph A. Goguen",
TITLE = "Reusing and Interconnecting Software Components",
JOURNAL = "Computer",
PAGES = {16--28},
MONTH = feb,
YEAR = 1986,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULE"
}
@ARTICLE{Guttag85,
AUTHOR = "John V. Guttag and James J. Horning and Jeannette M. Wing",
TITLE = "The {Larch} Family of Specifications Languages",
JOURNAL = SOFTWARE,
PAGES = {24--36},
MONTH = sep,
YEAR = 1985,
KEYWORDS = "SOFTENG, SPECIFICATION, LARCH, ALGEBRAIC"
}
@TECHREPORT{Guttag90,
AUTHOR = "John V. Guttag and James J. Horning and Andr{\'e} Modet",
TITLE = "Report on the Larch Shared Language: Version 2.3",
NUMBER = 58,
INSTITUTION = "DEC Systems Research Center",
ADDRESS = "130 Lytton Avenue, Palo Alto, California 94301",
MONTH = apr,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, LARCH"
}
@ARTICLE{Hall90a,
AUTHOR = "Anthony Hall",
TITLE = "Seven Myths of Formal Methods",
JOURNAL = SOFTWARE,
MONTH = sep,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION"
}
@ARTICLE{Heninger80,
AUTHOR = "Kathryn Heninger",
TITLE = "Specifying Software Requirements for Complex
Systems: New Techniques and Their Application",
JOURNAL = SOFTENG,
VOLUME = 6,
NUMBER = 1,
PAGES = {2--13},
MONTH = jan,
YEAR = 1980,
KEYWORDS = "SOFTENG, SPECIFICATION, NAVY A-7"
}
@ARTICLE{Hoffman88,
AUTHOR = "Daniel Hoffman and Richard Snodgrass",
TITLE = "Trace Specifications: Methodology and Models",
JOURNAL = SOFTENG,
VOLUME = 14,
NUMBER = 9,
PAGES = {1243--1255},
MONTH = sep,
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, TRACES, INTERFACE"
}
@ARTICLE{Hoffman89,
AUTHOR = "Daniel Hoffman",
TITLE = "Practical Interface Specification",
JOURNAL = SPE,
VOLUME = 19,
NUMBER = 2,
PAGES = {127--148},
MONTH = feb,
YEAR = 1989,
KEYWORDS = "PROGLANG, SOFTENG, SPECIFICATION, INTERFACE, MODULE, TRACES"
}
@ARTICLE{Hoffman90,
AUTHOR = "Daniel Hoffman",
TITLE = "On Criteria for Module Interfaces",
JOURNAL = SOFTENG,
PAGES = {537--542},
VOLUME = 16,
NUMBER = 5,
MONTH = may,
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULE"
}
@TECHREPORT{Holt86a,
AUTHOR = "Richard C. Holt and Philip A. Matthews",
TITLE = "The Formal Semantics of {Turing} Programs",
INSTITUTION = "Computer Systems Research Institute. University of Toronto",
NOTE = "ISSN 0834-1648",
NUMBER = "CSRI-182",
MONTH = may,
YEAR = 1986,
KEYWORDS = "PROGLANG, SEMANTICS, SPECIFICATION, TURING"
}
@BOOK{Ince88,
AUTHOR = "D. C. Ince",
TITLE = "An Introduction to Discrete Mathematics
and Formal System Specification",
PUBLISHER = "Oxford University Press",
NOTE = "ISBN 0-19-859667-7",
YEAR = 1988,
KEYWORDS = "SPECIFICATION, Z"
}
@BOOK{Jones90a,
AUTHOR = "Cliff B. Jones",
TITLE = "Systematic Software Development Using {VDM}",
EDITION = "second",
PUBLISHER = "Prentice Hall",
NOTE = "ISBN 0-13-880733-7",
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, VDM"
}
@BOOK{Jones90b,
AUTHOR = "Cliff B. Jones and Roger C. F. Shaw",
TITLE = "Case Studies in Systematic Software Development",
PUBLISHER = "Prentice Hall",
NOTE = "ISBN 0-13-116088-5",
YEAR = 1990,
KEYWORDS = "SOFTENG, SPECIFICATION, VDM"
}
@TECHREPORT{Jones91,
AUTHOR = "Kevin D. Jones",
TITLE = "{LM3}: A {Larch} Interface Language for {Modula-3}.
A Definition and Introduction. Version 1.0",
INSTITUTION = "Digital Systems Research Center",
NUMBER = "72",
MONTH = jun,
YEAR = 1991,
KEYWORDS = "PROGLANG, SOFTENG, SPECIFICATION, MODULA-3, LARCH"
}
@TECHREPORT{King91,
AUTHOR = "Paul King",
TITLE = "Printing {Z} and {Object-Z} {LaTeX} Documents",
INSTITUTION = "Software Verification Research Centre, Department
of Computer Science, The University of Queensland, Australia",
NUMBER = "????",
YEAR = 1991,
KEYWORDS = "SOFTENG, SPECIFICATION, OBJECT-Z, ZED"
}
@ARTICLE{Klaeren90,
AUTHOR = "Herbert Klaeren",
TITLE = "Embedding Functionally Described Abstract Data Types
into {Modula-2} Programs",
JOURNAL = "Microprocessors and Microsystems",
VOLUME = 14,
NUMBER = 3,
PAGES = {161--166},
MONTH = apr,
YEAR = 1990,
KEYWORDS = "PROGLANG, SOFTENG, SPECIFICATION, MODULA-2"
}
@INCOLLECTION{KriegXX,
AUTHOR = "Bernd Krieg-Brueckner",
TITLE = "Types in the Programming Language {Ada}",
BOOKTITLE = "On Conceptual Modeling",
PUBLISHER = Springer,
CHAPTER = 14,
PAGES = {385--410},
YEAR = 1900,
KEYWORDS = "PROGLANG, ADA, SPECIFICATION, ANNA"
}
@ARTICLE{McLean84,
AUTHOR = "John McLean",
TITLE = "A Formal Method for the Abstract Specification of Software",
JOURNAL = JACM,
PAGES = {600--627},
VOLUME = 32,
NUMBER = 3,
YEAR = 1984,
KEYWORDS = "SOFTENG, SPECIFICATION, TRACES"
}
@ARTICLE{Parnas72a,
AUTHOR = Parnas,
TITLE = "A Technique for Software Module Specification with Examples",
JOURNAL = CACM,
VOLUME = 15,
NUMBER = 5,
PAGES = {330--336},
MONTH = may,
YEAR = 1972,
KEYWORDS = "SOFTENG, MODULE, SPECIFICATION, INFORMATION HIDING"
}
@TECHREPORT{Parnas88a,
AUTHOR = "David. L. Parnas and A. John van Schouwen and Shu Po Kwan",
TITLE = "Evaluation Standards for Safety Critical Software",
INSTITUTION = "Department of Computing and Information Science;
Queen's University at Kingston",
ADDRESS = "Kingston, Ontario, K7L 3N6 Canada",
NUMBER = 220,
NOTE = "ISSN 0836-0227",
MONTH = may,
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, INTERFACE, MODULE, TRACES"
}
@TECHREPORT{Parnas88b,
AUTHOR = "David. L. Parnas and David G. Smith and Trevor Pearce",
TITLE = "Making Formal Software Documentation More Practical.
A Progress Report",
INSTITUTION = "Department of Computing and Information Science;
Queen's University at Kingston",
ADDRESS = "Kingston, Ontario, K7L 3N6 Canada",
NUMBER = 236,
NOTE = "ISSN 0836-0227",
MONTH = nov,
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, DOCUMENTATION"
}
@TECHREPORT{Parnas89,
AUTHOR = "David. L. Parnas and Yabo Wang",
TITLE = "The Trace Assertion Method of Module Interface
Specification",
INSTITUTION = "Department of Computing and Information Science;
Queen's University at Kingston",
ADDRESS = "Kingston, Ontario, K7L 3N6 Canada",
NUMBER = 261,
NOTE = "ISSN 0836-0227",
MONTH = oct,
YEAR = 1989,
KEYWORDS = "SOFTENG, SPECIFICATION, INTERFACE, MODULE, TRACES"
}
@TECHREPORT{Sannella86,
AUTHOR = "Donald Sannella",
TITLE = "Formal Specification of {ML} Programs",
INSTITUTION = "Laboratory for Foundations of Computer Science,
Department of Computer Science,
University of Edinburgh",
NUMBER = "ECS-LFCS-86-15",
MONTH = nov,
YEAR = 1986,
KEYWORDS = "PROGLANG, ML, SOFTENG, SPECIFICATION"
}
@BOOK{Spivey88a,
AUTHOR = "J. M. Spivey",
TITLE = "Understanding {Z}",
PUBLISHER = "Cambridge University Press",
SERIES = "Cambridge Tracts in Theoretical Computer Science 3",
NOTE = "ISBN 0-521-33429-2",
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, Z"
}
@MANUAL{Spivey88b,
AUTHOR = "J. M. Spivey",
TITLE = "The {fuzz} Manual",
YEAR = 1988,
KEYWORDS = "SOFTENG, SPECIFICATION, Z, FUZZ"
}
@BOOK{Spivey89,
AUTHOR = "J. M. Spivey",
TITLE = "The {Z} Notation -- A Reference Manual",
PUBLISHER = Addison,
NOTE = "ISBN 0-13-983768-X",
YEAR = 1989,
KEYWORDS = "SOFTENG, SPECIFICATION, Z"
}
@ARTICLE{Spivey90,
AUTHOR = "J. Michael Spivey",
TITLE = "Specifying a Real-Time Kernel",
JOURNAL = SOFTWARE,
PAGES = {21--28},
MONTH = sep,
YEAR = 1990,
KEYWORDS = "SPECIFICATION, REAL-TIME, ZED, CONCURENT"
}
@MASTERSTHESIS{Trejos90,
AUTHOR = "Ignacio Trejos Zelaya",
TITLE = "An Experimental Language Definition",
SCHOOL = "Oxford University",
ADDRESS = "8-10, Keble Road, Oxford, OX1 3QD, United Kingdom",
MONTH = sep,
YEAR = 1990,
KEYWORDS = "PROGLANG, SEMANTIC, Z, ML"
}
@ARTICLE{Weber86a,
AUTHOR = "Herbert Weber and Hartmut Ehrig",
TITLE = "Specification of Modular Systems",
JOURNAL = SOFTWARE,
VOLUME = 12,
NUMBER = 7,
PAGES = {784--798},
MONTH = jul,
YEAR = 1986,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULE"
}
@CONFERENCE{Weber86b,
AUTHOR = "Herbert Weber and Hartmut Ehrig",
TITLE = "Programming in the large with algebraic module specifications",
BOOKTITLE = "Information Processing 86",
PAGES = {675--684},
PUBLISHER = NorthHolland,
YEAR = 1983,
KEYWORDS = "SOFTENG, SPECIFICATION, MODULE"
}
@CONFERENCE{Wing,
AUTHOR = "Jeannette M. Wing",
TITLE = "Specifying Avalon Objects in Larch",
BOOKTITLE = "???",
ADDRESS = "???",
YEAR = 1900,
KEYWORDS = "SOFTENG, SPECIFICATIONS, LARCH, ALGEBRAIC"
}
@ARTICLE{Wing87,
AUTHOR = "Jeannette M. Wing",
TITLE = "Writing Larch Interface Language Specifications",
JOURNAL = TOPLAS,
VOLUME = 9,
NUMBER = 1,
PAGES = {1--24},
MONTH = jan,
YEAR = 1987,
KEYWORDS = "SOFTENG, SPECIFICATION, LARCH, ALGEBRAIC-SPECIFICATION"
}
@CONFERENCE{Wulf80,
AUTHOR = "W. A. Wulf",
TITLE = "Abstract Data Types: A Retrospective and Prospective View",
BOOKTITLE = "Proceedings of the 9th Symposium on the Mathematical
Foundations of Computer Science",
PUBLISHER = Springer,
HOWPUBLISHED = "LNCS 88",
ADDRESS = "Rydzyna, Poland",
PAGES = {95--112},
MONTH = sep,
YEAR = 1980,
KEYWORDS = "ABSTRACTION, PROGLANG, SPECIFICATION, VERIFICATION,
MODULE, ALPHARD, GYPSY, EUCLID, MESA, MODULA, ENCAPSULATION,
SURVEY"
}
Back to Collberg's Reference Page
Back to Collberg's Research Page
Back to Collberg's Home Page