Sciweavers

1949 search results - page 10 / 390

» Protective Interface Specifications

26

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

13 years 11 months ago

Preliminary Evaluation of a Formal Approach to User Interface Specification

Download www.cs.virginia.edu

John C. Knight, Susan S. Brilliant

claim paper

Read More »

22

ESAW
2009
Springer

133views Intelligent Agents» more ESAW 2009»

Navigational Web-Interfaces from Formal Tropos Specification

13 years 11 months ago

Navigational Web-Interfaces from Formal Tropos Specification

Download www.cs.uu.nl

Komminist Weldemariam

claim paper

Read More »

21

COOTS
1998

103views Programming Languages» more COOTS 1998»

IBDL: A Language for Interface Behavior Specification and Testing

13 years 8 months ago

IBDL: A Language for Interface Behavior Specification and Testing

Download www.usenix.org

Sreenivasa Viswanadha, Deepak Kapur

claim paper

Read More »

8

JOT
2006

46views more JOT 2006»

Reasoning About Method Calls in Interface Specifications

13 years 7 months ago

Reasoning About Method Calls in Interface Specifications

Download www.jot.fm

Ádám Darvas, Peter Müller

claim paper

Read More »

19

IJMI
2002

88views more IJMI 2002»

XML-based application interface services - a method to enhance integrability of disease specific systems

13 years 7 months ago

XML-based application interface services - a method to enhance integrability of disease specific systems

Download www.epj.co.jp

Udo Altmann, Ali Gerhard Tafazzoli, Frank Rüd...

claim paper

Read More »

« Prev « First page 10 / 390 Last » Next »