Sciweavers

3514 search results - page 162 / 703
» Software Process Modeling: Principles of Entity Process Mode...
Sort
View
ECBS
2007
IEEE
111views Hardware» more  ECBS 2007»
15 years 8 months ago
Model-Based Empirical Performance Evaluation Based on Relational Traces
Empirical performance evaluation is the process of measuring and calculating performance metrics of deployed software systems. It is a part of performance validation during testin...
Marko Boskovic
SIGSOFT
2003
ACM
16 years 2 months ago
Bogor: an extensible and highly-modular software model checking framework
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
Robby, Matthew B. Dwyer, John Hatcliff
EKAW
1992
Springer
15 years 6 months ago
eQuality: An Application of DDucks to Process Management
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
Jeffrey Bradshaw, Peter Holm, Oscar Kipersztok, Th...
CAISE
2001
Springer
15 years 6 months ago
Relaxed Soundness of Business Processes
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
Juliane Dehnert, Peter Rittgen
SEW
2006
IEEE
15 years 8 months ago
Goal-Driven Software Development
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
Ingo Schnabel, Markus Pizka