Constructing Rigorous Sketches for Refinement-Based Formal Development: An Application to Android

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems ◽

10.1007/978-981-15-5054-6_15 ◽

2020 ◽

pp. 331-346

Author(s):

Shin Nakajima

Keyword(s):

Formal Development

Download Full-text

The Rhythms of Reiteration: Formal Development in Stravinsky's Ostinati

Music Theory Spectrum ◽

10.1525/mts.1992.14.2.02a00030 ◽

1992 ◽

Vol 14 (2) ◽

pp. 171-187 ◽

Author(s):

Gretchen Horlacher

Keyword(s):

Formal Development

Download Full-text

Toward formal development of programs from algebraic specifications: Parameterisation revisited

Acta Informatica ◽

10.1007/bf01191893 ◽

1992 ◽

Vol 29 (8) ◽

pp. 689-736 ◽

Author(s):

Donald Sannella ◽

Stefan Sokolowski ◽

Andrzej Tarlecki

Keyword(s):

Algebraic Specifications ◽

Formal Development

Download Full-text

An integrated framework for formal development of open distributed systems

Information and Software Technology ◽

10.1016/j.infsof.2003.09.012 ◽

2004 ◽

Vol 46 (5) ◽

pp. 281-286 ◽

Author(s):

Issa Traoré ◽

Demissie Aredo ◽

Hong Ye

Keyword(s):

Distributed Systems ◽

Integrated Framework ◽

Formal Development ◽

Open Distributed Systems

Download Full-text

Formal Development of General Relativity

Essential Relativity ◽

10.1007/978-1-4757-1135-6_8 ◽

1969 ◽

pp. 155-212

Author(s):

Wolfgang Rindler

Keyword(s):

General Relativity ◽

Formal Development

Download Full-text

Refinement Based Formal Development of Human-Machine Interface

Software Technologies: Applications and Foundations - Lecture Notes in Computer Science ◽

10.1007/978-3-030-04771-9_19 ◽

2018 ◽

pp. 240-256 ◽

Author(s):

Romain Geniet ◽

Neeraj Kumar Singh

Keyword(s):

Human Machine Interface ◽

Formal Development ◽

Machine Interface

Download Full-text

Formal Development of Mechanisms for Tolerating Transient Faults

Rigorous Development of Complex Fault-Tolerant Systems - Lecture Notes in Computer Science ◽

10.1007/11916246_10 ◽

2006 ◽

pp. 189-209 ◽

Author(s):

Dubravka Ilić ◽

Elena Troubitsyna ◽

Linas Laibinis ◽

Colin Snook

Keyword(s):

Transient Faults ◽

Formal Development

Download Full-text

A Few Remarks about Formal Development of Secure Systems

2008 11th IEEE High Assurance Systems Engineering Symposium ◽

10.1109/hase.2008.49 ◽

2008 ◽

Author(s):

Éric Jaeger ◽

Thérèse Hardin

Keyword(s):

Secure Systems ◽

Formal Development

Download Full-text

Formal Development of Real-Time Priority-Based Schedulers

12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05) ◽

10.1109/ecbs.2005.40 ◽

2005 ◽

Author(s):

C.C. Seceleanu

Keyword(s):

Real Time ◽

Formal Development

Download Full-text

Formal Development of Relational Database Applications

Workshops in Computing - Specifications of Database Systems ◽

10.1007/978-1-4471-3864-8_2 ◽

1992 ◽

pp. 21-43 ◽

Author(s):

Roberto S. M. de Barros ◽

David J. Harper

Keyword(s):

Relational Database ◽

Database Applications ◽

Formal Development

Download Full-text

Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 661

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-030-46902-3_2 ◽

2020 ◽

pp. 21-39

Author(s):

Neeraj Kumar Singh ◽

Yamine Aït-Ameur ◽

Dominique Méry ◽

David Navarre ◽

Philippe Palanque ◽

...

Keyword(s):

Formal Development ◽

Interactive Application

Download Full-text