✦ LIBER ✦

Formal specification and documentation of microprocessor instruction sets

✍ Scribed by Jonathan P. Bowen

Publisher: Elsevier Science
Year: 1987
Weight: 540 KB
Volume: 21
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(87)90042-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification and documentation o

Formal specification and documentation of microprocessor instruction sets: Bowen, J P pp 223–230

📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 101 KB

Formal specification and verification of

Formal specification and verification of microprocessor systems

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB

Microprocessor instruction sets and soft

Microprocessor instruction sets and software principles: D L HeisermanPrentice Hall (1983) £23.95 pp 440

✍ GN Turner 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 131 KB

Formal Specification and Verification of

Formal Specification and Verification of Complex Systems

✍ S. Gnesi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

Comparison of formal specification metho

Comparison of formal specification methods and object-oriented paradigms

✍ Michal Iglewski; Tomasz Müldner 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 297 KB

Object orientation and formal methods are widely regarded as two fields with significant potential for new software engineering techniques. This paper discusses the relations between these two approaches. We present various specification techniques which incorporate object-oriented paradigms, discus

Fuzzy semantic analysis and formal speci

Fuzzy semantic analysis and formal specification of conceptual knowledge

✍ Dan E. Tamir; Abraham Kandel 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 841 KB