Application of Formal Specification to Software Maintenance.

Mapping Intimacies ◽

10.21236/ada311137 ◽

1990 ◽

Cited By ~ 2

Author(s):

Neel Madhav ◽

Sriram Sankar

Keyword(s):

Formal Specification ◽

Software Maintenance

Download Full-text

Application of formal specification to software maintenance

Proceedings. Conference on Software Maintenance 1990 ◽

10.1109/icsm.1990.131361 ◽

2002 ◽

Cited By ~ 1

Author(s):

N. Madhav ◽

S. Sankar

Keyword(s):

Formal Specification ◽

Software Maintenance

Download Full-text

Formal Specification and Design

10.1017/cbo9780511569777 ◽

1992 ◽

Cited By ~ 17

Author(s):

L. M. G. Feijs ◽

H. B. M. Jonkers

Keyword(s):

Formal Specification

Download Full-text

Editorial: The formal specification of interactive systems

Software Engineering Journal ◽

10.1049/sej.1996.0042 ◽

1996 ◽

Vol 11 (6) ◽

pp. 322 ◽

Cited By ~ 1

Author(s):

M.D. Harrison

Keyword(s):

Formal Specification ◽

Interactive Systems

Download Full-text

Expert mental model for software maintenance

10.2514/6.1991-3804 ◽

1991 ◽

Author(s):

MOHAMED FAYAD

Keyword(s):

Mental Model ◽

Software Maintenance

Download Full-text

Information technology. Z formal specification notation. Syntax, type system and semantics

10.3403/02620581 ◽

2002 ◽

Keyword(s):

Information Technology ◽

Formal Specification ◽

Type System

Download Full-text

Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (3rd) Held in Research Triangle Park, North Carolina on 14-16 May 1986

10.21236/ada226984 ◽

1986 ◽

Author(s):

William T. Mayfield ◽

John Chludzinski ◽

John McHugh ◽

Stephen R. Welke

Keyword(s):

North Carolina ◽

Formal Specification ◽

Research Triangle ◽

Trade Name ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Concurrent Programs

10.21236/ada265201 ◽

1993 ◽

Cited By ~ 2

Author(s):

Daniel M. Berry

Keyword(s):

Formal Specification ◽

Concurrent Programs ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

ADST Software Maintenance Manual for the Protocol Translator of Advanced Distributed Simulation Technology/Crew Station Research and Development Facility

10.21236/ada282819 ◽

1993 ◽

Author(s):

Anna Au-Yeung ◽

Chuck Kuczaj ◽

Rick Bright ◽

Lynn Thomson ◽

Lynn Mitchell

Keyword(s):

Research And Development ◽

Software Maintenance ◽

Distributed Simulation ◽

Simulation Technology

Download Full-text

The Use of Formal Specification of Software

10.1007/978-3-642-67881-3 ◽

1980 ◽

Cited By ~ 1

Keyword(s):

Formal Specification

Download Full-text

Software maintenance in fourth-generation language environments

Proceedings of the July 9-12, 1984, national computer conference and exposition on - AFIPS '84 ◽

10.1145/1499310.1499343 ◽

1984 ◽

Cited By ~ 1

Author(s):

Paul C. Tinnirello

Keyword(s):

Software Maintenance ◽

Fourth Generation

Download Full-text