Sciweavers

3090 search results - page 181 / 618
» Document Processing with LinkIT
Sort
View
CHI
2007
ACM
16 years 4 months ago
Software design and engineering as a social process
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
William A. Stubblefield, Tania L. Carson
FM
2009
Springer
171views Formal Methods» more  FM 2009»
15 years 10 months ago
Formal Management of CAD/CAM Processes
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
Michael Kohlhase, Johannes Lemburg, Lutz Schrö...
OTM
2005
Springer
15 years 9 months ago
Colored Petri Nets to Verify Extended Event-Driven Process Chains
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
Kees M. van Hee, Olivia Oanea, Natalia Sidorova
130
Voted
CSCW
2000
ACM
15 years 8 months ago
Coping with errors: the importance of process data in robust sociotechnical systems
This paper presents an analysis of written and electronic records that document the collaborative process of packing museum artifacts in preparation for a move. The majority of da...
Michael Twidale, Paul F. Marty
BPM
2009
Springer
116views Business» more  BPM 2009»
15 years 10 months ago
New Event-Processing Design Patterns Using CEP
Complex Event Processing (CEP) is a powerful technology for supporting advanced event-processing scenarios at a higher level of ion. Because of its expressiveness, CEP allows promp...
Alexandre de Castro Alves