Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

SIGADA
2005
Springer

favoriteEmaildiscussreport

89views Programming Languages» more SIGADA 2005»

Modeling SPARK systems with UML

13 years 10 months ago

Modeling SPARK systems with UML

Download www.sigada.org

In this paper, we will consider two aspects of UML in order to assess how well suited it is for modeling SPARK systems. The first aspect is the ability to represent SPARK in UML from a theoretical perspective. The second aspect is more from a handson perspective and evaluates what makes a UML CASE-tool more suitable for modeling SPARK systems than another. Categories and Subject Descriptors D.2.2 [Software Engineering]: Design Tools and Techniques – computer-aided software engineering (CASE), D.2.1 [Software Engineering]: Requirements/Specifications – languages. D.3.2 [Programming Languages]: Language Classifications – data-flow languages, object-oriented languages. General Terms Design, Languages Keywords SPARK, UML, Ada, profile, metamodel, INFORMED

Xavier Sautejeau

Real-time Traffic

SIGADA 2005 | Software Engineering | SPARK Systems | UML CASE-tool |

claim paper

Related Content

» Using UML for Business Object Based Systems Modeling

» Openloop combustion timing control of a SparkIgnited engine

» Using Agile Practices to Spark Innovation in a Small to Medium Sized Business

» A Formal Mapping between UML Static Models and Algebraic Specifications

» Enforcing security and safety models with an information flow analysis tool

» Towards Ontological Foundations for UML Conceptual Models

» Uniform object modeling methodology and reuse of realtime system using UML

» The UML as a Formal Modeling Notation

» Experiencing AUML for the WINK MultiAgent System

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	SIGADA
Authors	Xavier Sautejeau

Comments (0)