SCOPUS 정보 검색 플랫폼

1st International Conference on Advances in System Testing and Validation Lifecycle, VALID 2009

Volumn , Issue , 2009, Pages 129-134

Model-based development and testing of process-aware information systems

(5) Mans, R S a,b Van Der Aalst, W M P a Russell, N C a Bakker, P J M b Moleman, A J b

a EINDHOVEN UNIVERSITY OF TECHNOLOGY (Netherlands)

b UNIVERSITY OF AMSTERDAM (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ACTUAL SYSTEM; AMSTERDAM; COLORED PETRI NETS; CONCEPTUAL MODEL; DEVELOPMENT STRATEGIES; MODEL BASED DEVELOPMENT; PROCESS-AWARE INFORMATION SYSTEMS; SOFTWARE CONFIGURATION; SOFTWARE DEVELOPMENT APPROACH; SYSTEM TESTING; TIGHT COUPLING; WORK-FLOW SYSTEMS;

COMPUTER SOFTWARE; INFORMATION SYSTEMS; PETRI NETS; SIMULATORS; SYSTEM THEORY;

STRATEGIC PLANNING;

EID: 72349089903 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/VALID.2009.17 Document Type: Conference Paper

Times cited : (1)

References (10)

1
- 34249933531
- Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems
- K. Jensen and L.M. Kristensen and L. Wells, "Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems", International Journal on Software Tools for Technology Transfer, 2007.
- (2007) International Journal on Software Tools for Technology Transfer
- Jensen, K.¹ Kristensen, L.M.² Wells, L.³

2
- 43349104926
- Model Based Testing with Labelled Transition Systems
- J. Tretmans, "Model Based Testing with Labelled Transition Systems", Lecture Notes in Computer Science, vol.4949, 2008.
- (2008) Lecture Notes in Computer Science , vol.4949
- Tretmans, J.¹

3
- 35048901912
- Design and Implementation of the YAWL System
- W.M.P. van der Aalst and L. Aldred and M. Dumas and A.H.M. ter Hofstede, "Design and Implementation of the YAWL System", Lecture Notes in Computer Science, vol.3084, 2004
- (2004) Lecture Notes in Computer Science , vol.3084
- van der Aalst, W.M.P.¹ Aldred, L.² Dumas, M.³ ter Hofstede, A.H.M.⁴

4
- 72349098837
- Two Interfaces to the CPN Tools Simulator
- M. Westergaard and L.M. Kristensen, "Two Interfaces to the CPN Tools Simulator", DAIMI PB, vol. 588, 2008
- (2008) DAIMI PB , vol.588
- Westergaard, M.¹ Kristensen, L.M.²

5
- 84874226215
- Morgan Kaufman
- M. Utting and B. Legeard, "Practical Model-Based Testing", Morgan Kaufman, 2006
- (2006) Practical Model-Based Testing
- Utting, M.¹ Legeard, B.²

6
- 72349097554
- Model-Based Testing
- S. Reid, "Model-Based Testing", Proceedings of Test Automation Workshop 2006 (TAW'06), 2006
- (2006) Proceedings of Test Automation Workshop 2006 (TAW'06)
- Reid, S.¹

7
- 26444536759
- Methodological Issues in Model-Based Testing
- A. Pretschner and J. Philipps, "Methodological Issues in Model-Based Testing", Lecture Notes in Computer Science, vol.3472, 2005
- (2005) Lecture Notes in Computer Science , vol.3472
- Pretschner, A.¹ Philipps, J.²

8
- 0004002407
- MIT press, Cambridge, MA
- W.M.P. van der Aalst and K.M. van Hee, "Workflow Management: Models, Methods, and Systems", MIT press, Cambridge, MA, 2002
- (2002) Workflow Management: Models, Methods, and Systems
- van der Aalst, W.M.P.¹ van Hee, K.M.²

9
- 33646421488
- Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN
- G. Gallash and L.M. Kristensen, "Comms/CPN: A Communication Infrastructure for External Communication with Design/CPN.", DAIMI PB, vol. 554, 2001
- (2001) DAIMI PB , vol.554
- Gallash, G.¹ Kristensen, L.M.²

10
- 84892265244
- Springer-Verlag, Berlin, Heidelberg
- M. Weske, "Business Process Management - Concepts, Languages, Architectures", Springer-Verlag, Berlin, Heidelberg, 2007
- (2007) Business Process Management - Concepts, Languages, Architectures
- Weske, M.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.