✦ LIBER ✦

Interactive specification environment for communication service software

✍ Scribed by Niitsu, Y.; Mizuno, O.

Book ID: 119780233
Publisher: IEEE
Year: 1990
Tongue: English
Weight: 590 KB
Volume: 8
Category: Article
ISSN: 0733-8716
DOI: 10.1109/49.46870

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An interactive environment for hardware/

An interactive environment for hardware/software system design at the specification level

✍ S. Antoniazzi; M. Mastretti 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 618 KB

Specification and verification technolog

Specification and verification technologies for communication software

✍ Kajiwara, M.; Itoh, M.; Ichikawa, H. 📂 Article 📅 1985 🏛 IEEE 🌐 English ⚖ 764 KB

A multipoint communication service for i

A multipoint communication service for interactive applications

✍ Vonderweidt, G.; Robinson, J.; Toulson, C.; Mastronardi, J.; Rubinov, E.; Prasad 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 810 KB

An interactive environment for tool sele

An interactive environment for tool selection, specification and composition

✍ James D. Arthur; Douglas E. Comer 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 834 KB

This paper describes a high-level, screen-oriented programming environment that supports problem-solving by tool selection and tool composition. Each tool is a powerful parameterized program that performs a single high-level operation (e.g. sort a file). To solve a given problem, the user first inte

Structuring communication software for q

Structuring communication software for quality-of-service guarantees

✍ Mehra, A.; Indiresan, A.; Shin, K.G. 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 763 KB

Design support for the communication ser

Design support for the communication service specification by utilizing petri nets

✍ Haruo Hasegawa 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 853 KB