4258 search results - page 286 / 852 » Languages and Interactive Software Development |
168
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
We present two instantiations of generic Interactive State Machines (ISMs) with mobility features which are useful for modeling and verifying dynamically changing mobile systems. I...
205
click to vote
ICWS
2004
IEEE
15 years 8 months ago
2004
IEEE
In this paper we describe JClarens; a Java based implementation of the Clarens remote data server. JClarens provides web services for an interactive analysis environment to dynami...
196
click to vote
AGENTCL
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper, we study the operational semantics of agent communication languages.We develop a basic multi-agent programming language for systems of concurrently operati...
189
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
185
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...