Sciweavers

1346 search results - page 34 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 2 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
UML
2001
Springer
15 years 2 months ago
A Proposal for a Lightweight Rigorous UML-Based Development Method for Reliable Systems
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
Richard F. Paige, Jonathan S. Ostroff
JCSS
2011
154views more  JCSS 2011»
14 years 4 months ago
Model interoperability via Model Driven Development
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...
Mohamed Ariff Ameedeen, Behzad Bordbar, Rachid Ana...
DSD
2010
IEEE
221views Hardware» more  DSD 2010»
14 years 7 months ago
Modeling Reconfigurable Systems-on-Chips with UML MARTE Profile: An Exploratory Analysis
Reconfigurable FPGA based Systems-on-Chip (SoC) architectures are increasingly becoming the preferred solution for implementing modern embedded systems, due to their flexible natur...
Sana Cherif, Imran Rafiq Quadri, Samy Meftali, Jea...
IJVR
2006
140views more  IJVR 2006»
14 years 9 months ago
Cognitive, Mental and Physical Rehabilitation Using a Configurable Virtual Reality System
This paper describes a unified approach to virtual reality platform and treat this domain as a whole whereas the cognitive, psychological and physical aspects of helping people are...
Barnabas Takacs