×

Found 9 Documents (Results 1–9)

Performance evaluation as a tool for quantitative assessment of complexity of interactive systems. (English) Zbl 1035.68622

Forbrig, Peter (ed.) et al., Interactive systems. Design, specification, and verification. 9th international workshop, DSV-IS 2002, Rostock, Germany, June 12–14, 2002. Revised papers. Berlin: Springer (ISBN 3-540-00266-9/pbk). Lect. Notes Comput. Sci. 2545, 208-222 (2002).
MSC:  68U99 68U35
PDFBibTeX XMLCite
Full Text: Link

A tool suite for integrating task and system models through scenarios. (English) Zbl 1051.68755

Johnson, Chris (ed.), Interactive systems. Design, specification, and verification. 8th international workshop, DSV-IS 2001. Glasgow, Scotland, GB, June 13–15, 2001. Revised papers. Berlin: Springer (ISBN 3-540-42807-0). Lect. Notes Comput. Sci. 2220, 88-113 (2001).
MSC:  68U99 68U35
PDFBibTeX XMLCite
Full Text: Link

A formal specification of the CORBA event service. (English) Zbl 0968.68006

Smith, Scott F. (ed.) et al., Formal methods for open object-based distributed systems IV. IFIP TC6/WG6.1. 4th international conference, FMOODS 2000, Stanford, CA, USA, September 6-8, 2000. Boston: Kluwer Academic Publishers. 371-395 (2000).
MSC:  68M14 68Q65 68Q85
PDFBibTeX XMLCite

Design, specification and verification of interactive systems ’95. Proceedings of the Eurographics workshop in Toulouse, France, June 7-9, 1995. (English) Zbl 0829.68006

Springer Computer Science. Wien: Springer-Verlag. x, 370 p. (1995).
MSC:  68-06 00B25
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

Main Field

Software