351 search results - page 12 / 71 » Prototyping a Visual Formalism for System Modelling |
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
AGTIVE
2007
Springer
14 years 18 days ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
DIAGRAMS
2000
Springer
14 years 28 days ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
CONCURRENCY
2008
13 years 8 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...
VL
2009
IEEE
14 years 3 months ago
2009
IEEE
Labels in spreadsheets can be exploited for finding errors in spreadsheet formulas. Previous approaches have either used the positional information of labels or their interpretat...