Sciweavers

4476 search results - page 249 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
IFIP
1993
Springer
15 years 10 months ago
Architecture of Integrated Information Systems (ARIS)
The Architecture of Integrated Information Systems (ARIS) is a popular framework for integrated process modeling. Previous research analysed ARIS using an ontology developed by Bu...
August-Wilhelm Scheer
MODELS
2009
Springer
16 years 1 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
EDOC
2007
IEEE
16 years 1 months ago
Structuring Software Cities A Multidimensional Approach
IT application landscapes alias software cities of large enterprises comprise tens or even hundreds of IT applications. Structuring software cities into domains is an important tas...
Andreas Hess, Bernhard Humm, Markus Voß, Gre...
APSEC
2008
IEEE
16 years 1 months ago
Flexible Generation of Pervasive Web Services Using OSGi Declarative Services and OWL Ontologies
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
Klaus Marius Hansen, Weishan Zhang, João Fe...
ASPDAC
2007
ACM
115views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Model-based Programming Environment of Embedded Software for MPSoC
- A noble model-based programming environment of embedded software for MPSoC is proposed. By defining a common intermediate code (CIC), it separates modeling of the software and im...
Soonhoi Ha