Sciweavers

39 search results - page 6 / 8
» A Graphical Approach to Analogue Behavioural Modelling
Sort
View
97
Voted
HASE
1999
IEEE
15 years 1 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
FDL
2005
IEEE
15 years 3 months ago
Executable Specification of Novel Display Controllers
To address performance limitations and expand their applications range, emerging and mature display technologies rely on the design of novel display controllers. Under current mod...
David Antonio-Torres, Paul F. Newbury, Paul F. Lis...
CAISE
2001
Springer
15 years 2 months ago
Relaxed Soundness of Business Processes
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
Juliane Dehnert, Peter Rittgen
69
Voted
SIBGRAPI
2008
IEEE
15 years 3 months ago
Using Multi-agent Systems for Sampling and Rendering Implicit Surfaces
In this paper a Multi-Agent System for Sampling and Rendering Implicit Surfaces is presented (MASSRIS). Previous approaches to pen-and-ink style renderings of implicit surfaces we...
Pauline Jepp, Jörg Denzinger, Brian Wyvill, M...
82
Voted
IFM
1999
Springer
111views Formal Methods» more  IFM 1999»
15 years 1 months ago
An Object Semantic Model of SOFL
SOFL (Structured-Object-based-Formal Language) is recently proposed to combine the advantagesof formal methods, structured methods and object-oriented methodology into one method ...
Jin Song Dong, Shaoying Liu