Sciweavers

1878 search results - page 144 / 376
» Efficient Performance Models in Component-Based Software Eng...
Sort
View
ICSE
2001
IEEE-ACM
15 years 2 months ago
Designing Concurrent, Distributed, and Real-Time Applications with UML
Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations an...
Hassan Gomaa
WOSP
2005
ACM
15 years 3 months ago
From UML to LQN by XML algebra-based model transformations
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
Gordon Ping Gu, Dorina C. Petriu
WSC
2008
15 years 13 days ago
Conceptual simulation modeling: The structure of domain specific simulation environment
This study focuses on the development of a conceptual simulation modeling tool that can be used to structure a domain specific simulation environment. The issues in Software Engin...
Kitti Setavoraphan, Floyd H. Grant
ACSC
2004
IEEE
15 years 1 months ago
Java Implementation Verification Using Reverse Engineering
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...
David J. A. Cooper, Benjamin Khoo, Brian R. von Ko...
ARCS
2006
Springer
15 years 1 months ago
Error-Correcting Codes in Steganography
: We investigate image steganography under re-encoding of images. After a secret message or a digital watermark is embedded into a jpeg image, quite frequently the image is re-enco...
Jörg Keller, Johannes Magauer