Sciweavers

1781 search results - page 25 / 357
» Visualizing program execution using user abstractions
Sort
View
ECEASST
2008
77views more  ECEASST 2008»
13 years 7 months ago
Using OCL in Executable UML
Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming language completely or execute...
Ke Jiang, Lei Zhang, Shigeru Miyake
IROS
2009
IEEE
138views Robotics» more  IROS 2009»
14 years 2 months ago
Using petri nets to specify and execute missions for autonomous underwater vehicles
Abstract— This paper presents the design and implementation of a Mission Control System (MCS) for an Autonomous Underwater Vehicle (AUV) based on Petri nets. In the proposed appr...
Narcís Palomeras, Pere Ridao, Marc Carreras...
IWPC
2003
IEEE
14 years 24 days ago
Event-Based Performance Analysis
Understanding performance and related issues in a complex system requires analyzing where and why the program spends its resources. In a reactive system such as a interactive appl...
Steven P. Reiss
HCI
2007
13 years 9 months ago
Easy Model-Driven Development of Multimedia User Interfaces with GuiBuilder
GUI builder tools are widely used in practice to develop the user interface of software systems. Typically they are visual programming tools that support direct-manipulative assemb...
Stefan Sauer, Gregor Engels
CAV
2012
Springer
241views Hardware» more  CAV 2012»
11 years 10 months ago
Bma: Visual Tool for Modeling and Analyzing Biological Networks
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
David Benque, Sam Bourton, Caitlin Cockerton, Byro...