Sciweavers

2027 search results - page 172 / 406
» Process Support for Tools Interoperability
Sort
View
ESWS
2007
Springer
15 years 8 months ago
Explorative Debugging for Rapid Rule Base Development
We present Explorative Debugging as a novel debugging paradigm for rule based languages. Explorative Debugging allows truly declarative debugging of rules and is well suited to sup...
Valentin Zacharias, Andreas Abecker
145
Voted
ESWS
2008
Springer
15 years 4 months ago
The Web Service Modeling Toolkit
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
Mick Kerrigan, Adrian Mocan
IADIS
2004
15 years 4 months ago
Combining Interactive Modelling and Scientific Discovery in the Classroom
Collaborative modelling tools can support rich activities in the classroom, including both small group work and plenary activities. They can also support the processing and analys...
Kay Hoeksema, Heinz Ulrich Hoppe
101
Voted
IFM
2007
Springer
101views Formal Methods» more  IFM 2007»
15 years 8 months ago
Translating FSP into LOTOS and Networks of Automata
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
Gwen Salaün, Jeff Kramer, Frédé...
112
Voted
WWW
2003
ACM
16 years 3 months ago
Offering open hypermedia services to the WWW: a step-by-step approach for developers
Hypermedia systems and more specifically open hypermedia systems (OHS) provide a rich set of implementations of different hypertext flavors such as navigational hypertext, spatial...
Nikos Karousos, Ippokratis Pandis, Siegfried Reich...