Formal specification of dependable pervasive applications

2009 IEEE Asia-Pacific Services Computing Conference (APSCC) ◽

10.1109/apscc.2009.5394102 ◽

2009 ◽

Author(s):

Antonio Coronato ◽

Giuseppe De Pietro

Keyword(s):

Formal Specification ◽

Pervasive Applications

Download Full-text

Formal Specification and Design

10.1017/cbo9780511569777 ◽

1992 ◽

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 ◽

Author(s):

M.D. Harrison

Keyword(s):

Formal Specification ◽

Interactive Systems

Download Full-text

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

10.3403/02620581 ◽

2002 ◽

Keyword(s):

Information Technology ◽

Formal Specification ◽

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 ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Formal Specification and Verification of Concurrent Programs

10.21236/ada265201 ◽

1993 ◽

Author(s):

Daniel M. Berry

Keyword(s):

Formal Specification ◽

Concurrent Programs ◽

Formal Specification And Verification ◽

Specification And Verification

Download Full-text

Application of Formal Specification to Software Maintenance.

10.21236/ada311137 ◽

1990 ◽

Author(s):

Neel Madhav ◽

Sriram Sankar

Keyword(s):

Formal Specification ◽

Software Maintenance

Download Full-text

The Use of Formal Specification of Software

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

1980 ◽

Keyword(s):

Formal Specification

Download Full-text

Formal specification for a clinical cyclotron control system

Conference proceedings on Formal methods in software development - ◽

10.1145/99569.99814 ◽

1990 ◽

Author(s):

Jonathan Jacky

Keyword(s):

Control System ◽

Formal Specification

Download Full-text

A cost model for autonomic reconfigurations in high-performance pervasive applications

Proceedings of the 4th ACM International Workshop on Context-Awareness for Self-Managing Systems - CASEMANS '10 ◽

10.1145/1858367.1858370 ◽

2010 ◽

Author(s):

Carlo Bertolli ◽

Gabriele Mencagli ◽

Marco Vanneschi

Keyword(s):

High Performance ◽

Pervasive Applications

Download Full-text

An environment for Ada software development based on formal specification

ACM SIGAda Ada Letters ◽

10.1145/24645.24651 ◽

1987 ◽

Vol VII (3) ◽

pp. 94-106 ◽

Author(s):

D C Luckham ◽

R Neff ◽

D S Rosenblum

Keyword(s):

Software Development ◽

Formal Specification

Download Full-text