Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James W. Thatcher
Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Software Engineering
TAPSOFT, Vol.2: CSE, 1985.

@proceedings{CSE-1985,
	doi           = "10.1007/3-540-15199-0",
	editor        = "Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James W. Thatcher",
	isbn          = "3-540-15199-0",
	publisher     = "{Springer}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the First International Joint Conference on Theory and Practice of Software Development, Volume 2: Colloquium on Software Engineering}",
	volume        = 186,
	year          = 1985,
}

Contents (24 items)

CSE-1985-Floyd #development #formal method #on the

On the Relevance of Formal Methods to Software Development (CF), pp. 1–11.

CSE-1985-MathiassenM #development #formal method

Formalization in Systems Development (LM, AMM), pp. 101–116.

CSE-1985-BerryW #prototype #specification #why

Specification and Prototyping: Some Thoughts on Why They Are Successful (DMB, JMW), pp. 117–128.

CSE-1985-Marshall #specification

A Formal Specification of Line Representations on Graphics Devices (LSM), pp. 129–147.

CSE-1985-Snelting #case study #experience #generative #programming

Experiences with the PSG - Programming System Generator (GS), pp. 148–162.

CSE-1985-MadhavjiLV #using

Software Construction Using Typed Fragments (NHM, NL, DV), pp. 163–178.

CSE-1985-EngelsS #development #grammarware #graph grammar #programming

Graph Grammar Engineering: A Method Used for the Development of an Integrated Programming Support Environment (GE, WS), pp. 179–193.

CSE-1985-Kimelman #multi

Multidimensional Tree-Structured File Spaces (DK), pp. 194–213.

CSE-1985-MaibaumVS #data type #development #formal method #question

A Theory of Abstract Data Types for Program Development: Bridging the Gap? (TSEM, PASV, MRS), pp. 214–230.

CSE-1985-PetroneP #development #documentation

Program Development and Documentation by Informal Transformations and Derivations (GP, LP), pp. 231–245.

CSE-1985-BidoitC #algebra #ide #named #specification

ASSPEGIQUE: An Integrated Environment for Algebraic Specifications (MB, CC), pp. 246–260.

CSE-1985-BougeCFG #algebra #generative #prolog #specification #testing

Application of Prolog to Test Sets Generation from Algebraic Specifications (LB, NC, LF, MCG), pp. 261–275.

CSE-1985-HsiangS #data type #prolog #reasoning

A PROLOG Environment for Developing and Reasoning about Data Types (JH, MKS), pp. 276–293.

CSE-1985-BiebowH #algebra #fault #specification

Algebraic Specification of Synchronisation and Errors: A Telephonic Example (BB, JH), pp. 294–308.

CSE-1985-IsleL #concurrent #modelling

Modelling Concurrent Modules (RI, KPL), pp. 309–324.

CSE-1985-Gribomont #invariant #parallel #source code #synthesis

Synthesis of Parallel Programs Invariants (EPG), pp. 325–338.

CSE-1985-LevesonS #fault tolerance #petri net #safety #using

Analyzing Safety and Fault Tolerance Using Time Petri Nets (NGL, JLS), pp. 339–355.

CSE-1985-JosephM #algebra #communication #specification

Algebraic Specification Of A Communication Scheduler (MJ, AM), pp. 356–370.

CSE-1985-CasagliaP #integration #lifecycle

The Integration and Distribution Phase in the Software Life Cycle (GC, FP), pp. 371–384.

CSE-1985-Herzog #development #industrial

Formalized Software Development in an Industrial Environment (OH), pp. 385–394.

CSE-1985-YonezawaM #concurrent #industrial #object-oriented #programming

Object Oriented Concurrent Programming and Industrial Software Production (AY, YM), pp. 395–409.

CSE-1985-JacksonDS #development #experience #industrial

Experience of Introducing the Vienna Development Method into an Industrial Organization (MIJ, BTD, RCS), pp. 410–422.

CSE-1985-RushinekR #development

EDP System Development Methodology: Auditability and Control (AR, SFR), pp. 423–434.

CSE-1985-AlwsG #case study #experience #object-oriented #programming

Experiences with Object Oriented Programming (KHA, IGS), pp. 435–452.