Sciweavers

1606 search results - page 27 / 322
» XML-based programming language modeling: An approach to soft...
Sort
View
ICWS
2009
IEEE
14 years 4 months ago
A Conceptual Modeling Approach to Business Service Mashup Development
Professional mashups that include complex choreographies, data mediation, and result publishing within Web pages are still affected by implementation and design practices that rel...
Alessandro Bozzon, Marco Brambilla, Federico Miche...
OOPSLA
2010
Springer
13 years 6 months ago
Ficticious: MicroLanguages for interactive fiction
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
James Dean Palmer
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
13 years 11 months ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg
ICSE
2007
IEEE-ACM
14 years 7 months ago
Trio2Promela: A Model Checker for Temporal Metric Specifications
We present Trio2Promela, a tool for model checking metric temporal logic specifications written in the TRIO language. Our approach is based on the translation of formulae into Pro...
Domenico Bianculli, Angelo Morzenti, Matteo Pradel...
WWW
2005
ACM
14 years 8 months ago
Consistency checking of UML model diagrams using the XML semantics approach
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
Yasser Kotb, Takuya Katayama