Sciweavers

452 search results - page 45 / 91
» The business case for automated software engineering
Sort
View
FMCAD
2009
Springer
15 years 4 months ago
Scalable conditional equivalence checking: An automated invariant-generation based approach
—Sequential equivalence checking (SEC) technologies, capable of demonstrating the behavioral equivalence of two designs, have grown dramatically in capacity over the past decades...
Jason Baumgartner, Hari Mony, Michael L. Case, Jun...
AICCSA
2001
IEEE
103views Hardware» more  AICCSA 2001»
15 years 1 months ago
Toward a Comprehensive Framework for Software Process Modeling Evolution
Software process modeling has undergone extensive changes in the last three decades, impacting process' structure, degree of control, degree of visualization, degree of autom...
Osama Eljabiri, Fadi P. Deek
EUROSYS
2010
ACM
15 years 1 months ago
Fingerprinting the Datacenter: Automated Classification of Performance Crises
When a performance crisis occurs in a datacenter, rapid recovery requires quickly recognizing whether a similar incident occurred before, in which case a known remedy may apply, o...
Peter Bodik, Moises Goldszmidt, Armando Fox, Dawn ...
ITNG
2008
IEEE
15 years 4 months ago
Prototype Generation from Ontology Charts
Semantic Analysis is a business analysis method designed to capture user requirements and represent them as text or in a graph that is called Ontology Chart. Ontology Charts can b...
George Tsaramirsis, Iman Poernomo
BPM
2005
Springer
228views Business» more  BPM 2005»
15 years 3 months ago
Risk Management in the BPM Lifecycle
Business Process Management is considered an essential strategy to create and maintain competitive advantage by streamlining and monitoring corporate processes. While the identific...
Michael zur Muehlen, Danny Ting-Yi Ho