Sciweavers

1949 search results - page 10 / 390

» Protective Interface Specifications

134

Voted

ZUM
1997
Springer

104views Formal Methods» more ZUM 1997»

Preliminary Evaluation of a Formal Approach to User Interface Specification

15 years 10 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 »

161

Voted

ESAW
2009
Springer

133views Intelligent Agents» more ESAW 2009»

Navigational Web-Interfaces from Formal Tropos Specification

15 years 10 months ago

Navigational Web-Interfaces from Formal Tropos Specification

Download www.cs.uu.nl

Komminist Weldemariam

claim paper

Read More »

140

Voted

COOTS
1998

103views Programming Languages» more COOTS 1998»

IBDL: A Language for Interface Behavior Specification and Testing

15 years 7 months ago

IBDL: A Language for Interface Behavior Specification and Testing

Download www.usenix.org

Sreenivasa Viswanadha, Deepak Kapur

claim paper

Read More »

73

JOT
2006

46views more JOT 2006»

Reasoning About Method Calls in Interface Specifications

15 years 6 months ago

Reasoning About Method Calls in Interface Specifications

Download www.jot.fm

Ádám Darvas, Peter Müller

claim paper

Read More »

125

Voted

IJMI
2002

88views more IJMI 2002»

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

15 years 6 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 »