✦ LIBER ✦

Automating software engineering

Publisher: Elsevier Science
Year: 1986
Tongue: English
Weight: 501 KB
Volume: 18
Category: Article
ISSN: 0010-4485
DOI: 10.1016/0010-4485(86)90140-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automating software feature verification

✍ Gerard J. Holzmann; Margaret H. Smith 📂 Article 📅 2002 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 198 KB 👁 1 views

Automating information engineering

✍ IG MacDonald 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 789 KB

Software engineering

✍ D. West 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 66 KB

Recent efforts toward developing software systems for the detectors in TRISTAN at KEK are reviewed. The software structures on a mainframe computer at KEK are presented for each experimental group (TOPAZ and VENUS). The covered topics include data structures, database management systems, graphics, o

Software engineering

✍ Marco Maiocchi 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 529 KB

Engineering software

📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 276 KB

Software engineering

📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 186 KB