✦ LIBER ✦

Introduction to formal methods of software design

✍ Scribed by Anthony C Davies

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 656 KB
Volume: 12
Category: Article
ISSN: 0141-9331
DOI: 10.1016/0141-9331(88)90003-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the development of a formal methods-b

On the development of a formal methods-based software design methodology for automotive applications

✍ S Tran; J Cullyer; E Hines; K Marks 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 364 KB

The role of formal methods in developing

The role of formal methods in developing safety-critical software

✍ Martyn Thomas 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 228 KB

A formal introduction to the compilation

A formal introduction to the compilation of Java

✍ Stephan Diehl 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 223 KB

The term abstract machine is widely accepted to denote intermediate target languages and related architectures which serve as an intermediate stage in compiling programming languages. In this paper we explain how a considerable subset of Java is translated into Byte-Code for the Java Virtual Machine

Introduction to the ‘The formal study of

Introduction to the ‘The formal study of drama’

✍ Solomon Marcus 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 274 KB

Mathematical, logical, and formal method

Mathematical, logical, and formal methods in information retrieval: An introduction to the special issue

✍ Fabio Crestani; Sandor Dominich; Mounia Lalmas; Cornelis Joost (Keith) van Rijsb 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 58 KB 👁 2 views

Control systems design: An introduction

Control systems design: An introduction to state-space methods: Bernard Friedland

✍ K.S. Hindi 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 249 KB