Sciweavers

4726 search results - page 228 / 946
» Domain Modeling of Software Process Models
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
A Stochastic Theory of Black-Box Software Testing
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
Karl Meinke
ISCC
2000
IEEE
122views Communications» more  ISCC 2000»
15 years 11 months ago
Hierarchical Performance Modeling for Distributed System Architectures
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
Debra L. Smarkusky, Reda A. Ammar, Imad Antonios, ...
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
16 years 4 days ago
A Time Slice Based Scheduler Model for System Level Design
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
Luciano Lavagno, Claudio Passerone, Vishal Shah, Y...
ACSAC
1999
IEEE
15 years 10 months ago
Using Abuse Case Models for Security Requirements Analysis
The relationships between the work products of a security engineering process can be hard to understand, even for persons with a strong technical background but little knowledge o...
John P. McDermott, Chris Fox
UML
2005
Springer
15 years 12 months ago
Transformation-Based Structure Model Evolution
This paper summarizes an approach to support evolution of software models by means of a transformation catalogue. These transformations treat UML class diagram models, OCL constrai...
Fabian Büttner