Sciweavers

1804 search results - page 259 / 361
» Use Cases in Model-Driven Software Engineering
Sort
View
162
Voted
I3E
2001
196views Business» more  I3E 2001»
15 years 5 months ago
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
Jan Jürjens, Guido Wimmel
113
Voted
JUCS
2010
83views more  JUCS 2010»
15 years 2 months ago
Developing Augmented Objects: A Process Perspective
: There are many examples of augmented objects in the literature. Augmented objects should provide intelligence to the ambient where they are located and also they must require a l...
Luis A. Guerrero, Hector Horta, Sergio F. Ochoa
117
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
Static data race detection for concurrent programs with asynchronous calls
A large number of industrial concurrent programs are being designed based on a model which combines threads with event-based communication. These programs consist of several threa...
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhan...
140
Voted
KBSE
2008
IEEE
15 years 10 months ago
Random Test Run Length and Effectiveness
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
James H. Andrews, Alex Groce, Melissa Weston, Ru-G...
108
Voted
SCAM
2008
IEEE
15 years 10 months ago
Some Assembly Required - Program Analysis of Embedded System Code
Programming embedded system software typically involves more than one programming language. Normally, a high-level language such as C/C++ is used for application oriented tasks an...
Ansgar Fehnker, Ralf Huuck, Felix Rauch, Sean Seef...