Sciweavers

502 search results - page 13 / 101

» Visual Formalisms Revisited

21

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

14 years 18 days ago

VIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models

Download www.inf.mit.bme.hu

György Csertán, Gábor Huszerl, ...

claim paper

Read More »

13

WEBIST
2008

74views Internet Technology» more WEBIST 2008»

Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments

13 years 9 months ago

Formalizing a Model to Represent and Visualize Concept Spaces in E-Learning Environments

Download users.dimi.uniud.it

Antonina Dattolo, Flaminia L. Luccio

claim paper

Read More »

19

ENTCS
2007

73views more ENTCS 2007»

Towards the Integration of Visual and Formal Models for GUI Testing

13 years 7 months ago

Towards the Integration of Visual and Formal Models for GUI Testing

Download paginas.fe.up.pt

Ana Paiva, João C. P. Faria, Raul F. A. M. ...

claim paper

Read More »

16

IS
2002

90views Artificial Intelligence» more IS 2002»

Formalizing visual interaction with historical databases

13 years 7 months ago

Formalizing visual interaction with historical databases

Download www.dsc.ufcg.edu.br

Sônia Fernandes Silva, Tiziana Catarci, Ulri...

claim paper

Read More »

12

IJSEKE
1998

57views more IJSEKE 1998»

ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design

13 years 7 months ago

ISF: A Visual Formalism for Specifying Interconnection Styles for Software Design

Download www.cs.drexel.edu

Spiros Mancoridis

claim paper

Read More »

« Prev « First page 13 / 101 Last » Next »