Sciweavers

10406 search results - page 392 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
OTM
2005
Springer
15 years 10 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
DATE
2006
IEEE
143views Hardware» more  DATE 2006»
15 years 11 months ago
A coverage metric for the validation of interacting processes
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
Ian G. Harris
MSR
2005
ACM
15 years 10 months ago
Mining version histories to verify the learning process of Legitimate Peripheral Participants
Since code revisions reflect the extent of human involvement in the software development process, revision histories reveal the interactions and interfaces between developers and...
Shih-Kun Huang, Kang-min Liu
ESAW
2009
Springer
15 years 11 months ago
Engineering Agent Organisations in a Business Environment
Abstract. Motivated by demands from the commercial world for software systems that can assist in the reorganisation of processes for the purpose of reducing business complexity, we...
Dimitris Traskas, Julian A. Padget
ENGL
2008
111views more  ENGL 2008»
15 years 3 months ago
Frameworks of Process Improvement for Mobile Applications
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...
Haeng-Kon Kim