Search Sciweavers | Sciweavers

1722 search results - page 36 / 345

» Ontology Formalism Transformation

152

click to vote

JUCS
2008

137views more JUCS 2008»

The Need for Formalizing Media Semantics in the Games and Entertainment Industry

15 years 6 months ago

Download www.jucs.org

Abstract: The digital media and games industry is one of the biggest IT based industries worldwide. Recent observations therein showed that current production workflows may be pote...

Tobias Bürger

claim paper

Read More »

113

click to vote

KBSE
2002
IEEE

126views Software Engineering» more KBSE 2002»

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

15 years 11 months ago

Download www.inf.mit.bme.hu

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

claim paper

Read More »

100

click to vote

DMCS
2003

90views Modeling And Simulation» more DMCS 2003»

Formalizing the transformations of a cognitive universe

15 years 7 months ago

Download www.dmtcs.org

N. Lafaye de Micheaux, G. Lopez, P. Vitiello, J. L...

claim paper

Read More »

115

click to vote

INFSOF
2008

55views more INFSOF 2008»

Transformation techniques can make students excited about formal methods

15 years 6 months ago

Download win.ua.ac.be

Pieter Van Gorp, Hans Schippers, Serge Demeyer, Di...

claim paper

Read More »

161

click to vote

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers