Agile IT: Thinking in User-Centric Models

Communications in Computer and Information Science

Volumn 17, Issue , 2009, Pages 490-502

  Margaria, Tiziana ^a   Steffen, Bernhard ^b  

^a UNIVERSITY OF POTSDAM   (Germany)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMMING; CROSS-ORGANIZATIONAL; MARKET REQUIREMENTS; MODEL DRIVEN DEVELOPMENT; MODEL-DRIVEN; PROCESS EVOLUTION; SERVICE FUNCTIONALITIES; SYSTEM DEVELOPMENT;

CURRICULA;

COMPUTER SYSTEMS PROGRAMMING;

EID: 78649837913     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (28)

1. Andrade, L.F., Fiadeiro, J.L.: Architecture Based Evolution of Software Systems, http://www.atxsoftware.com/publications/SFM.pdf
2. AspectJ Website, http://eclipse.org/aspectj/
3. Bajohr, M., Margaria, T.: MaTRICS: A Service-Based Management Tool for Remote Intelligent Configuration of Systems. Innovations in Systems and Software Engineering (ISSE) 2(2), 99-111 (2005)
4. Bajohr, M., Margaria, T.: High Service Availability in MaTRICS for the OCS. In: Proc. ISoLA 2008, 3rd Int. Symp. on Leveraging Applications of Formal Methods, Verification, and Validation, Chalkidiki (GR), October 2008. CCIS, vol. 17. Springer, Heidelberg (2008)
5. Ball, T., Cook, B., Das, S., Rajamani, S.: Refining approximations in software predicate abstraction. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol. 2988, pp. 338-340. Springer, Heidelberg (2004)
6. Corbett, J., Dwyer, M., Hatcliff, J., Robby.: Bandera: A Source-level Interface for Model Checking Java Programs. In: Proc. ICSE 2000, 22nd Int. Conf. on Software Engineering, pp. 762-765 (2000)
7. Hagerer, A., Hungar, H., Niese, O., Steffen, B.: Model Generation by Moderated Regular Extrapolation. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 80-95. Springer, Heidelberg (2002)
8. Heartbeat, Open Source High Availability Software, http://www.linux-ha.org
9. Hörmann, M., Margaria, T., Mender, T., Nagel, R., Steffen, B., Trinh, H.: The jABC Approach to Rigorous Collaborative Development of SCM Applications. In: Proc. ISoLA 2008, 3rd Int. Symp. on Leveraging Applications of Formal Methods, Verification, and Validation, Chalkidiki (GR), October 2008. CCIS, vol. 17. Springer, Heidelberg (2008)
10. Jörges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92-108. Springer, Heidelberg (2007)
11. Jonsson, B., Margaria, T., Naeser, G., Nyström, J., Steffen, B.: Incremental requirement specification for evolving systems. Nordic Journal of Computing 8(1), 65 (2001); In: Proc. of Feature Interactions in Telecommunications and Software Systems (2000)
12. JRules, ILOG, http://www.ilog.com/
13. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Videira Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-Oriented Programming. In: Akşit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997)
14. Kubczak, C., Margaria, T., Steffen, B., Nagel, R.: Service-oriented Mediation with jABC/jETI. In: Semantic Web Services Challenge Results from the First Year (Semantic Web and Beyond). Springer, Heidelberg (2008)
15. Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences, 2nd IFIP Conference on e-commerce, e-business, e-government (I3E 2002). In: Towards the Knowledge Society-eCommerce, eBusiness and eGovernment, Lisboa (P), 7-9 Oct. 2002, pp. 497-511. Kluwer Academic Publishers, Dordrecht (2002)
16. Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach. STTT, Int. Journal on Software Tools for Technology Transfer (2003)
17. Margaria, T., Steffen, B.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390-415. Springer, Heidelberg (1999)
18. Margaria, T., Steffen, B.: From the How to the What. In: Proc. VSTTE 2005, Verified Software-Theories, Tools, and Experiments, IFIP Working Conference, Zurich, October 2005. LNCS, vol. 4171. Springer, Heidelberg (2005)
19. Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-Thing Approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Research on Business Process Modeling. IGI Global (2009)
20. Marowsky-Bre, L.: A new cluster resource manager for heartbeat. In: UKUUG LISA/Winter Conf. on High-Availability and Reliability, Bournemouth, UK (2004)
21. Niese, O., Margaria, T., Hagerer, A., Nagelmann, M., Steffen, B., Brune, G., Ide, H.: An automated testing environment for CTI systems using concepts for specification and verification of workflows. Annual Review of Communication. In: Int. Engineering Consortium (IEC), Chicago, USA, vol. 54, pp. 927-936 (2001)
22. Niese, O., Steffen, B., Margaria, T., Hagerer, A., Brune, G., Ide, H.: Library-based design and consistency checks of system-level industrial test cases. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 233-248. Springer, Heidelberg (2001)
23. Petrie, C., Zaremba, M., Lausen, H., Komazec, S., Küster, U.: SWS Challenge Scenarios. In: Semantic Web Services Challenge Results from the First Year (Semantic Web and Beyond). Springer, Heidelberg (2008)
24. Shankar, N., Owre, S.: Principles and Pragmatics of Subtyping in PVS. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol. 1827, pp. 37-52. Springer, Heidelberg (2000)
25. Steffen, B.: Unifying models. In: Reischuk, R., Morvan, M. (eds.) STACS 1997. LNCS, vol. 1200, pp. 1-20. Springer, Heidelberg (1997)
26. Steffen, B., Margaria, T., Braun, V.: The Electronic Tool Integration platform: concepts and design. In: [28], pp. 9-30
27. Steffen, B., Narayan, P.: Full Life-Cycle Support for End-to-End Processes. IEEE Computer 40(11), 64-73 (2007)
28. Special Section on the Electronic Tool Integration Platform. Int. Journal on Software Tools for Technology Transfer 1(1+2) (November 1997)