21 search results - page 1 / 5 » Symbolic computation in software science: Foreword from the ... |
JSC
2010
13 years 3 months ago
2010
CSCW
2012
ACM
12 years 19 days ago
2012
ACM
While the users of completed applications are heavily moving from desktop to the web browser, the majority of developers are still working with desktop IDEs such as Eclipse or Vis...
AUTOMATICA
2008
13 years 5 months ago
2008
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs. Although these models ar...
RTA
1997
Springer
13 years 9 months ago
1997
Springer
A prototypical framework, which was used for building software components for symbolic computation, is extended as follows. First, we demonstrate that the server components can be ...
ACMSE
2010
ACM
13 years 3 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...