Sciweavers

1346 search results - page 52 / 270
» On the Use of UML for Modeling Physical Systems
Sort
View
PATMOS
2004
Springer
15 years 3 months ago
A Multi-level Validation Methodology for Wireless Network Applications
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
Christos Drosos, Labros Bisdounis, Dimitris Metafa...
SQJ
2008
94views more  SQJ 2008»
14 years 9 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz
EEE
2005
IEEE
15 years 3 months ago
Web System Trace Model Using a Web Application Architecture Framework
Traceability analysis is crucial to the development of web-centric systems, particularly those with frequent system changes, fine-grained evolution and maintenance, and high level...
Xiaoying Kong, Li Liu, David Lowe
SJ
2010
158views more  SJ 2010»
14 years 4 months ago
Efficient Utilization of Renewable Energy Sources by Gridable Vehicles in Cyber-Physical Energy Systems
The main sources of emission today are from the electric power and transportation sectors. One of the main goals of a cyber-physical energy system (CPES) is the integration of rene...
A. Y. Saber, Ganesh K. Venayagamoorthy
UML
2001
Springer
15 years 2 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France