Narrow your search

Library

KU Leuven (3)

UCLouvain (3)

UAntwerpen (2)

ULiège (2)

KBR (1)

UGent (1)


Resource type

book (3)


Language

English (3)


Year
From To Submit

1988 (3)

Listing 1 - 3 of 3
Sort by
VDM'88. VDM - The way Ahead. 2nd VDM-Europe symposium, Dublin, Ireland, September 11-16, 1988
Authors: --- ---
ISBN: 3540502149 0387502149 9783540502142 9780387502144 Year: 1988 Volume: 328 Publisher: Berlin : Springer-Verlag,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Structured techniques : the basis for case.
Authors: ---
ISBN: 0138549362 9780138549367 Year: 1988 Publisher: Englewood Cliffs (USA) : Prentice Hall,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Computer architecture. Operating systems --- Electronic data processing --- Computer software --- Structured techniques --- Development --- -Electronic data processing --- -681.3*D21 --- 681.3*D22 --- 681.3*D24 --- 681.3*H21 --- ADP (Data processing) --- Automatic data processing --- Data processing --- EDP (Data processing) --- IDP (Data processing) --- Integrated data processing --- Computers --- Office practice --- Software, Computer --- Computer systems --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Logical design: data models; normal forms; schema and subschema (Database management) --- Automation --- Development. --- Structured techniques. --- 681.3*H21 Logical design: data models; normal forms; schema and subschema (Database management) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 --- Structured techniques (Computer science) --- System analysis --- System design --- Development of computer software --- Software development --- PROGRAMMING --- DIAGRAMS --- AUTOMATION --- CHARTS --- Monograph --- Automation. --- Automatic factories --- Automatic production --- Computer control --- Engineering cybernetics --- Factories --- Industrial engineering --- Mechanization --- Assembly-line methods --- Automatic control --- Automatic machinery --- CAD/CAM systems --- Robotics --- Electronic data processing - Structured techniques --- Computer software - Development --- Génie logiciel --- Programmation informatique --- Système d'information de l'entreprise

Program correctness over abstract data types, with error-state semantics
Authors: ---
ISBN: 0444703403 9780444703408 Year: 1988 Volume: 6 Publisher: Amsterdam North-Holland

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Abstract data types (Computer science) --- Computer programming --- 681.3*D24 --- 681.3*D31 --- 681.3*D33 --- 681.3*F32 --- Computers --- Electronic computer programming --- Electronic data processing --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Data types (Computer science) --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- Programming --- Computer programming. --- Abstract data types (Computer science). --- 681.3*F32 Semantics of programming languages: algebraic approaches to semantics; denotational semantics; operational semantics (Logics and meanings of programs)--See also {681.3*D31} --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Correctness --- Program Proof --- Denotational Semantics --- Operational Semantics --- Wp

Listing 1 - 3 of 3
Sort by