Sciweavers

406 search results - page 10 / 82
» Semantic Modelling in Agent-Based Software Development
Sort
View
DATE
2007
IEEE
136views Hardware» more  DATE 2007»
15 years 6 months ago
Compositional specification of behavioral semantics
An emerging common trend in model-based design of embedded software and systems is the adoption of Domain-Specific Modeling Languages (DSMLs). While syntax metamodeling enables th...
Kai Chen 0003, Janos Sztipanovits, Sandeep Neema
IRI
2007
IEEE
15 years 6 months ago
The Certification of Software Tools with respect to Software Standards
Software development standards such as the UML provide complex modeling languages for specifying, visualizing, constructing, and documenting the artifacts of software systems [1]....
Panuchart Bunyakiati, Anthony Finkelstein, David S...
ECBS
2007
IEEE
115views Hardware» more  ECBS 2007»
15 years 6 months ago
Modeling the Functionality of Multi-Functional Software Systems
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
Alexander Gruler, Alexander Harhurin, Judith Hartm...
RWEB
2010
Springer
14 years 9 months ago
Model Driven Engineering with Ontology Technologies
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
Steffen Staab, Tobias Walter, Gerd Gröner, Fe...
ISORC
2007
IEEE
15 years 6 months ago
Device Modeling for a Flexible Embedded Systems Development Process
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
Kleanthis C. Thamboulidis, George S. Doukas, Giann...