✦ LIBER ✦

An implementation-directed design method for microcontroller software

✍ Scribed by Miroslav Švéda

Book ID: 107910578
Publisher: Elsevier Science
Year: 1994
Weight: 772 KB
Volume: 40
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(94)90136-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A tool for syntax directed software desi

A tool for syntax directed software design

✍ Jürgen Lampe 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 334 KB

Design and implementation of software fo

Design and implementation of software for control education

✍ Schaufelberger, W. 📂 Article 📅 1990 🏛 IEEE 🌐 English ⚖ 641 KB

Designing software for provable correctn

Designing software for provable correctness: The direction for quality software

✍ Michael Dyer 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 941 KB

A bstract: Formal software design methods significantly improve the quality of software designs and products. They introduce new levels of defect prevention with a rigorous design process for decomposing product requirements, systematically verifying the correctness of each decomposition and maintai

An object-oriented design and reference

An object-oriented design and reference implementation for web-based instructional software

✍ Shrimalini Jayaramaraja 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 570 KB

The design and implementation of a softw

The design and implementation of a software development environment for an embedded system

✍ Glenn Mayer 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 505 KB

A design method for embedded software sy

A design method for embedded software systems

✍ Anders P. Ravn; Hans Rischel; Hans Henrik Løvengreen 📂 Article 📅 1988 🏛 Springer Netherlands 🌐 English ⚖ 706 KB