Wirtschaftsinformatik (Angewandte Informatik)

Publikationen

Journals

  • A. Speck, S. Feja, S. Witt, E. Pulvermüller und M. Schulz. Formalizing Business Process Specifications. Computer Science and Information Systems Journal (ComSIS), 8(2), Special Issue, Mai 2011, Seiten 427 - 446
  • E. Pulvermüller, S. Feja und A. Speck. Developer-friendly verification of process-based systems. Knowledge Based Systems , 23, (2010), Seiten 667 - 676
  • M. Rost und A. Speck. Modellgestützte Validierung von WebService-Ketten. DuD - Datenschutz und Datensicherheit, 33(6), Seiten 359 - 363, 200
  • S. Kiebusch, B. Franczyk und A. Speck. An Unadjusted Size Measurement of Embedded Software System Families and its Validation. Journal of Software Process: Improvement and Practice (SPIP), 11(4), Seiten 435 - 446, 2006
  • D. Parsons, A. Rashid, A. Telea und A. Speck. An architectural pattern for designing component-based application frameworks. Software - Practice and Experience, 36, Seiten 157 - 190, 2006
  • R. Kowalczyk, P. Braun, I. Müller, W. Rossak, B. Franczyk und A. Speck. Deploying Mobile and Intelligent Agents in Interconnected e-Marketplaces. Society for Design and Process Science Journal, 3(7), Seiten 109 - 123, September 2003.
  • S. Robak, E. Pulvermüller, A. Speck und B. Franczyk. Business Process Management Framework for eCommerce Applications. Management Journal, 7(1), Seiten 207 - 212, 2003
  • A.Speck. Reusable Industrial Control Systems. ``Industrial Informatics'' Special Section of the IEEE Transactions on Industrial Electronics Society, 50(3), Seiten 412 - 418, 2003
  • A. Speck, E. Pulvermüller, M. Jerger und B. Franczyk. Component Composition Validation. International Journal of Applied Mathematics and Computer Science, 12(4), Seiten 101 - 109, Polen, 2002

Konferenzbeiträge

2010-heute

  • T. Stuht und A. Speck. Bridging the Gap Between Independent Enterprise Architecture Domain Models. In International Conference on Business Information Systems (BIS 2016), Springer International Publishing, Seiten 277-288, Leipzig, 2016
  • D. Kuhlen und A. Speck. Business process analysis by model checking. In Proceedings of the 5th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2015), Springer International Publishing, Seiten 154-170, Vienna, Austria, 2015
  • S. Niemand, S. Feja, S. Witt und A. Speck. On Improving the Maintainability of Compliance Rules for Business Processes. In International Conference on Business Information Systems (BIS 2015). Springer International Publishing, Seiten 178-190, Poznań, Poland, 2015
  • A. Speck, S. Witt, S. Feja, und E. Pulvermüller. Tool-based checking of business process models. In Proceedings of the 7th International Conference on Subject-Oriented Business Process Management (S-BPM ONE 2015), ACM, Artikel 8 (8 Seiten), Kiel, 2015
  • S. Witt, S. Feja, C. Hadler, A. Speck und E. Pulvermüller. Visualization of Checking Results for Graphical Validation Rules. In International Conference on Intelligent Software Methodologies, Tools, and Techniques. Springer International Publishing, Seiten 120-136, Neaples, Italy, 2015.
  • S. Witt, S. Feja, and A. Speck, “Applying Pattern-based Graphical Validation Rules to Business Process Models,” in International Conference on Software Testing, Verification, and Validation Workshops, IEEE, Seiten 274–283, Los Alamitos, CA, USA, 2014
  • S. Witt, S. Feja, A. Speck und Ch. Hadler. Business application modeler: A process model validation and verification tool. In 2014 IEEE 22nd International Requirements Engineering Conference (RE 2014). IEEE, Seiten 333-334, Karlskrona, Sweden, 2014
  • E. Pulvermüller, A. Speck, S. Feja und S. Witt. Dependencies in business process rule hierarchies. In 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT 2013), IEEE, Seiten 203 - 207, Budapest, Hungary, 2013
  • A. Speck, S. Witt, S. Feja, S. Feja und E. Pulvermüller. Integrating Validation Techniques for Process-based Models. In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), SciTePress, Seiten 246 - 253, Angers, France, 2013
  • T. Stuht, A. Speck, S. Feja, S. Witt und E. Pulvermüller. Rule Determination and Process Verification using Business Capabilities 5th IFIP WG8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2012), Springer, Seiten 46 - 60, Rostock, 2012
  • E. Pulvermüller, A. Speck, S. Feja und S. Witt. Component Composition Validation. In The 10th International Conference on Software Methodologies, Tools and Techniques (SoMeT 2011), IOS Press, Seiten 5 - 19, St. Petersburg, Russland, 2011
  • S. Feja, S. Witt und A. Speck. BAM: A Requirements Validation and Verification Framework for Business Process Models. In 11th International Conference On Quality Software (QSIC 2011), IEEE Computer, Seiten 186 - 191, Madrid, Spanien, 2011
  • A. Speck, S. Witt, S. Feja, A. Lotyzc und E. Pulvermüller. Framework for Business Process Verification. In 14th International Conference on Business Information Systems (BIS 2011), Springer LNBIP, Seiten 50 - 60, Poznan, Polen, 2011
  • S. Feja, A. Speck, S. Witt und M. Schulz. Checkable Graphical Business Process Representation. In Advances in Databases and Information Systems - 14th East European Conference (ADBIS 2010), Seiten 176 - 189, Novi Sad, Serbien, 2010
  • E. Pulvermüller, A. Speck, S. Feja und S. Witt. PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking Models. In 5th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2010), Seiten 214 - 220, Athen, Griechenland, 2010
  • A. Rusnjak: Über die Integration von kritischen Erfolgsfaktoren in das "Early Requirements Engineering" mittels i*; 13. GI Tagung "Modelling Business Information Systems", Dresden, 2010
  • A. Rusnjak, M. El Kharbili, H. Hristov und A. Speck. Managing the Dynamics of e/mCommerce with a Hierarchical Overlapping Business-Value-Framework. In The 6th International Symposium on Web and Mobile Information Services (WAMIS 2010), Seiten 461 - 466, Perth, Australien, 2010

2000-2009

  • A. Speck und E. Pulvermüller. Verification Support for Generative System Development. In The 8th International Conference on Software Methodologies, Tools and Techniques (SoMeT 2009), Seiten 131 - 147, IOS Press, Vol. 199, Prag, Tschechische Republik, 2009
  • S. Stein, S. Kühne, J. Drawehn, S. Feja, und W. Rotzoll. Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study. In 6th International Conference on Business Process Management (BPM), Seiten 310 - 325, Springer, LNCS 5240, Mailand, Italien, 2008.
  • S. Feja und D. Fötsch. Model Checking with Graphical Validation Rules. In 15th Annual IEEE International Conference on the Engineering of Computer-Based Systems (ecbs 2008), Seiten 117 - 125, IEEE Computer Society Press, Belfast, Großbritannien, 2008.
  • D. Fötsch und E. Pulvermüller. Constructing higher-level Transformation Languages based on XML, In New Trends in Software Methodologies, Tools and Techniques -- Proceeding of the 6th International Conference on Software Methodologies, Tools and Techniques (SOMET'07) , Seiten 269 - 284, IOS Press, Rom, Italien, 2007
  • D. Fötsch und E. Pulvermüller. Applying the Operator Hierarchy Concept to XSLT. In XML-Tage Berlin, Seiten 51 - 62, XML-clearinghouse, Berlin, 2007
    S. Feja. Service-orientierte Integration im E-commerce. In Informatiktage 2007: Fachwissenschaftlicher Informatik-Kongress, 30. und 31. März 2007, B-IT Bonn-Aachen International Center for Information Technology Bonn, 2007, Bonn
  • S. Kiebusch, B. Franczyk und A. Speck. Process-Family-Points. In Proceedings of the 7th International Conference on Software Process Simulation and Modeling (SPW/ProSim 2006), Seiten 314-321, Springer LNCS 3966 , Shanghai, China, 2006
  • D. Fötsch, A. Speck und P. Hänsgen. The Operator Hierarchy Concept for XML Document Transformation Technologies. In 3. Berliner XML-Tage 2005 (BXML05), Seiten 59 - 70, Berlin, September 2005
  • S. Kiebusch, B. Franczyk und A. Speck. Measurement of Embedded Software System Families. In Proceedings of the 6th International Conference on Software Process Simulation and Modeling, Seiten 48 - 56, St.-Louis, USA, 2005.
  • D. Fötsch, A. Speck, W. Rossak und J. Krumbiegel. A Concept of Modelling and Validation of Web based Presentation Templates. In 7. Internationale Tagung Wirtschaftsinformatik 2005 (WI2005), Physika Verlag, Seiten 391 - 406, Bamberg, Februar 2005
  • E. Pulvermüller und A. Speck. XOpT - XML-based Composition Concept. In Proceedings of 3rd International Conference on Software Methodologies, Tools and Techniques (SoMeT 04), IOS Press, Seiten 249 - 262, Leipzig, September 2004
  • J.-H. Pfeiffer, W. Rossak und A. Speck. Applying Model Checking to Workflow Verification. In Proceedings of ECBS'2004, Int'l IEEE Symposium and Workshop on Engineering of Computer Based Systems, IEEE Computer Society Press, Seiten 144 - 151 Brno, Tschechien, 2004
  • A. Speck, E. Pulvermüller und M. Clauß. Versioning in Software Modeling. In Proceedings of Integrated Design & Process Technology (IDPT 2002), Pasadena, Juni 2002
  • R. Kowalczyk, B. Franczyk, A. Speck, P. Braun, J. Eismann und W. Rossak. Integrating Mobile and Intelligent Agents in e-Marketplaces. In 5th International Conference on Business Information Systems (BIS 2002), Seiten 84 - 90, University of Economics Poznañ, Polen, 2002
  • A. Speck und E. Pulvermüller. Versioning in Software Engineering. In Proceedings of IECON'01, The 27th Annual Conference of the IEEE Industrial Electronics Society, IES, IEEE Computer Society Press, Seiten 1856 - 1861, Denver, 2001
  • E. Pulvermüller, A. Speck und J.O. Coplien. A Version Model for Aspect Dependency Management. In Proceedings of 3rd International Symposium of Generative and Component-based Software Engineering (GCSE 2001), Springer, LNCS 2186, Seiten 70 - 79, Erfurt, 2001
  • A. Rashid, R. Chitchyan, A. Speck, E. Pulvermüller. EProMS: An E-commerce Based Process Model for Cooperative Software Development in Small Organisations. In Proceedings of 2nd International Conference on E-Commerce and Web-Technologies (EC-Web 2001), Electronic Edition, Springer, Seiten 39 - 48, München, 2001
  • H. Klaeren, E. Pulvermüller, A. Rashid und A. Speck. Aspect Composition applying the Design by Contract Principle. In Proceedings of the GCSE'2000, Second International Symposium on Generative and Component-Based Software Engineering, Springer, LNCS 2177, Seiten 57 - 69, Erfurt, 2000
  • E. Pulvermüller, A. Speck und A. Rashid. Implementing collaboration-based Design using Aspect-Oriented Programming. In Proceedings of TOOLS USA 2000, Technology of Object-Oriented Languages and Systems, 34th Int'l Conference and Exhibition, Seiten 95 - 104, St. Barbara, USA, 2000
  • A. Speck. Component-based Control System. In Proceedings of ECBS'2000, Int'l IEEE Symposium and Workshop on Engineering of Computer Based Systems, IEEE Computer Society Press, Seiten 176 - 184, Edinburgh, UK, 2000

1997-1999

  • A. Speck und H. Klaeren. RoboSiM: Java 3D Robot Visualization. In Proceedings of IECON'99, The 25th Annual Conference of the IEEE Industrial Electronics Society, IES, IEEE Computer Society Press, Seiten 821 - 826, San Jose, USA, 1999
  • E. Pulvermüller, H. Klaeren, und A. Speck. Aspects in Distributed Environments. In Proceedings of the GCSE'99, First International Symposium on Generative and Component-Based Software Engineering, Springer, LNCS 1799, Seiten 37 - 48, Erfurt, 1999
  • D. Parsons, A. Rashid, A. Speck und A. Telea. A ``Framework'' for Object Oriented Frameworks Design. In Proceedings of TOOLS EUROPE'99, Objects, Components, Agents; Technology of Object-Oriented Languages and Systems, 29th Int'l Conference and Exhibition, IEEE Computer Society Press, Seiten 141 - 151, Nancy, Frankreich, 1999
  • A. Speck. Robot Simulation and Monitoring on Real Controllers (RoboSiM). In Proceedings of the ESS'98, 10th European Simulation Symposium and Exhibition, Seiten 482 - 489, Nottingham, UK, 1998, SCI
  • A. Speck, G. Gruhler und W. Küchlin. Object-Oriented Robot Control Framework. In Proceedings of IECON'98, 24th Annual Conference of the IEEE Industrial Electronics Society, IES, IEEE Computer Society Press, Seiten 1663 - 1666, Aachen, 1998
  • W. Küchlin, G. Gruhler, T. Lumpp, A. Speck und A. Rupp. HIGHROBOT: Telerobotics in the Internet. In Proceedings of ETFA'97, Int'l IEEE Conference on Emerging Technologies and Factory Automation, IEEE Computer Society Press, Seiten 115 - 120, Los Angeles, USA, 1997
  • W. Küchlin, G. Gruhler, A. Speck und T. Lumpp. HIGHROBOT: Distributed Object-Oriented Real-Time Systems. In Proceedings of ARCS'97, 14th International ITG/GI-Conference Architecture of Computer Systems, VDI, Seiten 91 - 99, Rostock, 1997
  • W. Küchlin, G. Gruhler, A. Speck und T. Lumpp. HIGHROBOT: A High-performance Universal Robot Control on Parallel Workstations. In Proceedings of ECBS'97, Int'l IEEE Symposium and Workshop on Engineering of Computer Based Systems, IEEE Computer Society Press, Seiten 444 - 451, Monterey, USA, 1997

Buchbeiträge

  • S. Witt, A. Spec, S. Feja, E. Pulvermüller und S. Niemand. Modellierung von Regeln für die Prüfung von Prozessmodellen. In Wissenschaft und Kunst der Modellierung, De Gruyter, Seiten 407-430, 2015
  • S. Feja, A. Speck, E. Pulvermüller und M. Schulz. Verification of e-Commerce Business Processes, In Electronic Business Interoperability: Concepts, Opportunities and Challenges, IGI Global, Seiten 105 - 123, 2011.
  • S. Feja und D. Fötsch. Ein Framework für grafische Validierungsregeln. In Model-Driven Integration Engineering -- Modellierung, Validierung und Transformation zur Integration betrieblicher Anwendungssysteme, Leipziger Beiträge zur Informatik, Band XI, Seiten 67 - 80, 2008.
  • S. Jacobs und S. Feja. Ein Open-Source-Editor zur modellbasierten Validierung von Geschäftsprozessen. In Model-Driven Integration Engineering -- Modellierung, Validierung und Transformation zur Integration betrieblicher Anwendungssysteme, Leipziger Beiträge zur Informatik, Band XI, Seiten 81 - 91, September 2008.
  • S. Feja und D. Fötsch. Geschäftsprozessvalidierung anhand von Integrationprozessen im E-Commerce. In Model-Driven Integration Engineering -- Modellierung, Validierung und Transformation zur Integration betrieblicher Anwendungssysteme, Leipziger Beiträge zur Informatik, Band XI, Seiten 233 - 241, September 2008.
  • M. Jensen und S. Feja. Modellierung von Sicherheitsaspekten in orchestrierten integrierten Anwendungssystemen. In Model-Driven Integration Engineering -- Modellierung, Validierung und Transformation zur Integration betrieblicher Anwendungssysteme, Leipziger Beiträge zur Informatik, Band XI, Seiten 301 - 311, September 2008.
  • D. Fötsch. Anwendung der Operatorhierarchie zur Vereinfachung der Entwicklung von XML-Transformationen am Beispiel vom ARIS-IE-Geschäftsprozess zum BPEL-Prozess, In Integration Engineering: Motivation – Begriffe – Methoden – Anwendungsfälle, Leipziger Beiträge zur Informatik, Band VI, Seiten 105 - 120, September 2007.
  • S. Feja und D. Fötsch. Systemintegration durch Service-orientierte Architektur im elektronischen Handel und der Beschaffung, In Integration Engineering: Motivation – Begriffe – Methoden – Anwendungsfälle, Leipziger Beiträge zur Informatik, Band VI, Seiten 191 - 203, September 2007.
  • S. Kühne und A. Speck. Model-Driven Integration Engineering im Projekt OrViA, In Integration Engineering: Motivation – Begriffe – Methoden – Anwendungsfälle, Leipziger Beiträge zur Informatik, Band VI, Seiten 237 - 246, September 2007.
  • S. Feja, D. Fötsch und J. Schenderlein. E-Procurement-Integration am Beispiel des ERP-Systems GODYO P/4. In Integration betrieblicher Informationssysteme: Problemanalysen und Lösungsansätze des Model-Driven Integration Engineering, Leipziger Beiträge zur Informatik (LIV), Band IV, Seiten 42 - 48, September 2006.
  • D. Fötsch, S. Feja, S. Sauer und A. David. Problemstellungen agiler Schnittstellen am Beispiel des Commerce Management Systems von Truition/AGETO. In Integration betrieblicher Informationssysteme: Problemanalysen und Lösungsansätze des Model-Driven Integration Engineering, Leipziger Beiträge zur Informatik (LIV), Band IV, Seiten 49 - 56, September 2006.
  • H. Kern, S. Kühne und D. Fötsch. Merkmale und Werkzeugunterstützung für Modelltransformationen im Kontext modellgetriebener Softwareentwicklung. In Integration betrieblicher Informationssysteme: Problemanalysen und Lösungsansätze des Model-Driven Integration Engineering, Leipziger Beiträge zur Informatik (LIV), Band IV, Seiten 94 - 104, September 2006.
  • A. Speck, E. Pulvermüller, D. Fötsch und S. Feja. Validierungstechniken für Software. In Integration betrieblicher Informationssysteme: Problemanalysen und Lösungsansätze des Model-Driven Integration Engineering, Leipziger Beiträge zur Informatik (LIV), Band IV, Seiten 105 - 122, September 2006.
  • D. Fötsch. Eine XML-basierte Transformationsmethode für modellgetriebene Web-Service-Architekturen: Vom ARIS-IE-Geschäftsprozessmodell zum BPEL4WS-Prozess. In Umsetzung von kooperativen Geschäftsprozessen auf eine internetbasierte IT-Struktur: Arbeiten aus dem Forschungsvorhaben Integration Engineering, Leipziger Beiträge zur Informatik (LIV), Band III, Seiten 107 - 124, 2005.
  • S. Kühne und A. Speck. Ein Ansatz zur Orchestrierung und Validierung kooperierender Systemkomponenten in integrierten Anwendungssystemen. In Umsetzung von kooperativen Geschäftsprozessen auf eine internetbasierte IT-Struktur: Arbeiten aus dem Forschungsvorhaben Integration Engineering, Leipziger Beiträge zur Informatik (LIV), Band III, Seiten 145 - 154, 2005.
  • A. Speck. RoboSiM - eine Java-basierte Robotervisualisierung. In S. Maffeis, F. Toenniessen und C. Zeidler (Editoren), Erfahrungen mit Java, Seiten 293 - 310, dpunkt, Heidelberg, 1999
  •  

Workshops

  • D. Kuhlen und A. Speck. The potentials of a code generator which faces the stress ratio of requirements engineering processes in agile development projects. In Modellierung 2016 (Workshops), Seiten 87-96, Karlsruhe 2016.
  • S. Witt, S. Feja, und A. Speck. Applying Pattern-Based Graphical Validation Rules to Business Process Models. In Proceedings of the 2014 IEEE International Conference on Software Testing, Verification, and Validation Workshops (ICSTW '14), IEEE Computer Society, Seiten 274-283, Cleveland, USA, 2014
  • S. Niemand, S. Feja, S. Witt und A. Speck. Vorgehensmodellentwurf für Forschungsprototypen. In: Vorgehensmodelle 2013 - Vorgehensmodelle - Anspruch und Wirklichkeit, Seiten 175 - 177, Köllen, Bonn, 2013
  • S. Witt, S. Feja, A. Speck und Ch. Prietz, Integrated Privacy Modeling and Validation for Business Process Models. In: Proceedings of the 2012 Joint EDBT/ICDT Workshops, Berlin, Germany, Seiten 196 - 205, ACM, 2012
  • M. Pohle, S. Krause und A. Rusnjak. Speed Creation Session: A way to increase the productivity of experts in projects and assure quality requirements; 16th International Working Conference on Requirements Engineering: Foundation for Software Quality (RefsQ2010), Workshop on Requirements Prioritization for customer-oriented Software-Development (RePriCo'11), Essen, 2011
  • A. Rusnjak: Improving IT-Strategy-Alignment with a multidimensional business value; 17th International Working Conference on Requirements Engineering: Foundation for Software Quality (RefsQ2011), Requirements Engineering Efficiency Workshop (REEW 2011), Essen, 2011
  • S. Feja, S. Witt, A. Brosche, A. Speck und C. Prietz. Modellierung und Validierung von Datenschutzanforderungen in Prozessmodellen. In Vernetzte IT für einen effektiven Staat - Gemeinsame Fachtagung Verwaltungsinformatik und Fachtagung Rechtsinformatik, FTVI/FTRI 2010, Seiten 155 - 166, LNI 162 GI 2010.
  • M. Jensen und S. Feja. A Security Modeling Approach for Web-Service-based Business Processes. In 16th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2009), 13 - 16 April 2009, San Francisco, CA, USA, 2009.
  • A. Rusnjak und M. El Kharbili. On Leveraging Business Processes to deal with Critical Success Factors. In Workshop on Business Process Modeling and Realization, 39. Jahrestagung der GI, Informatik 2009, Lübeck, 2009.
  • S. Feja, A. Speck und E. Pulvermüller. Business Processes Verification. In Workshop on Business Process Modeling and Realization, 39. Jahrestagung der GI, Informatik 2009, Lübeck, 2009.
  • S. Feja. An Approach for Semantic Checks of Process Models. In Business Process, Services Computing and Intelligent Service Management, LNI 147, Seiten 229 - 230, Leipzig, 2009.
  • A. Rusnjak. Modelling Critical Success Factors in mCommerce-Programs. In Business Process, Services Computing and Intelligent Service Management, LNI 147, Seiten 238 - 240, Leipzig, 2009.
  • J. Drawehn und S. Feja. Anwendung von grafischen Validierungsregeln bei der Entwicklung von IT-Integrationsprozessen. In Workshop: Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration auf der Software-Engineering-Konferenz 2009, Kaiserslautern, 2009.
  • S. Feja, R. Herkenhöner, M. Jensen, A. Speck, H. de Meer, and J. Schwenk. Towards modeling and transformation of security requirements for service-oriented architectures. In Proceedings of the 1st EuroNF Workshop on Future Internet Architecture (EuroNF-FIA), Paris, France, 2008.
  • S. Feja, D. Fötsch und S. Stein. Grafische Validierungsregeln am Beispiel von EPKs. In Workshop: Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration auf der Software-Engineering-Konferenz, 2008, München.
  • D. Fötsch. A Generic Framework for Target-Specific Transformation Operators in XML Transformation Languages, Proceeding of the 18th International Workshop on Database and Expert Systems Applications (DEXA 2007), Seiten 15 - 19, IEEE Computer Society, Regensburg, 2007.
  • D. Fötsch, E. Pulvermüller und W. R. Rossak. Modeling and Verifying Workflow-based Regulation, In Proceedings of International Workshop on Regulations Modelling and their Validation and Verification (REMO2V'06) in conjunction with CAiSE'06 , Seiten 825 - 830, Luxemburg, 2006
  • A. Speck. Modelling and Verifying of e-Commerce Systems, In Proceedings of International Workshop on Regulations Modelling and their Validation and Verification (REMO2V'06) in conjunction with CAiSE'06 , Seiten 857 - 863, Luxemburg, 2006
  • D. Fötsch und A. Speck. XTC - The XML Transformation Coordinator for XML Document Transformation Technologies, Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), Seiten 507 - 511, IEEE Computer Society, Krakow, Polen, September 2006.
  • S. Kühne, M. Thränert und A. Speck. Towards a methodology for orchestration and validation of cooperative ebusiness components. In 7th GPCE YRW 2005 Proceedings Rutherford, Matthew J. (ed.), Seiten 29 - 34, Tallinn, Estonia: Institute of Cybernetics at Tallinn Technical University, 2005.
  • A. Speck, E. Pulvermüller und D. Heuzeroth. Validation of Business Process Models. In Proceedings of Correctness of Model-based Software Composition (CMC), ECOOP 2003, Seiten 75 - 83, Darmstadt, 2003.
  • R. Kowalczyk, P. Braun, J. Eismann, B. Franczyk, W. Rossak und A. Speck. InterMarket - Towards Intelligent Mobile Agent-based e-Market-places. In Proceedings of the 9th Annual IEEE Conference and Workshop on the Engineering of Computer based Systems (ECBS 2002), Lund, April 2002
    A. Speck, S. Robak, E. Pulvermüller und M. Clauß. Version-based Approach for Modeling Software Systems. In Proceedings of Model-based Software Reuse, ECCOP 2002 Seiten 15 - 22, Malaga, Spanien, 2002.
  • A. Speck, Matthias Clauß und B. Franczyk. Concerns of Variability in ``bottom-up'' Product-Lines. In Proceedings of Second Workshop on Aspect-Oriented Software Development, Universität Bonn, Bonn, Seiten 19 - 24, Februar, 2002
  • A. Speck und E. Pulvermüller. Feature Modeling. In gemeinsamer Workshop der GI-FGn 2.1.4 (Programmiersprachen und Rechenkonzepte) und
    [4] 2.1.9 (Objekt-Orientierte Softwareentwicklung), Bericht Nr. 2018,Christian-Albrechts-Universität Kiel, Seiten 27 - 32, Bad Honnef, 2001.
  • A. Speck, E. Pulvermüller und M. Mezini. Reusability of Concerns. In Proceedings of ECOOP Workshop Aspects and Dimensions of Concerns 2000, Sophia Antipolis, Cannes, Frankreich, Juni, 2000
  • A. Speck und E. Pulvermüller. Component Frameworks for Software Generators. In Workshop des GI Arbeitskreis 2.1.4 Programmiersprachen und Rechnerkonzepte, Schwerpunkt Softwarekomponenten, Bericht Nr. 2007, Christian-Albrechts-Universität Kiel, Seiten 45 - 53, Bad Honnef, 2000.
  • A. Speck, A. Rashid, E. Pulvermüller und R. Chitchyan. Individual Software Development in Generative Programming. In A. Speck und E. Pulvermüller, GCSE'99 Young Researchers Workshop , Erfurt, Oktober 1999
  • A. Speck. Object-Oriented Real-Time Control System. In D. Parsons, A. Rashid und A. Telea (Editoren), Position Papers from The 9th Workshop PhD Students in Object-Oriented Systems, ECOOP´99, Lisabon, Seiten 87 - 92, 1999, Eindhoven University of Technology
  • A. Speck. Object-Oriented Control Systems on Standard Hardware. In F. Gerhardt, L. Benedicenti, und E. Ernst (Editoren), Position Papers from The 8th Workshop PhD Students in Object-Oriented Systems, ECOOP´98, Brüssel, Seiten 115 - 119, 1998, University of Arhus
  •  
  •  
  •  

Proceedings

  • W. Abramowicz, L. A. Maciaszek, R. Kowalczyk und A. Speck (Hrsg.): Business Process, Services Computing and Intelligent Service Management, LNI 147, Leipzig, 2009
  • K.-P. Fähnrich, S. Kühne, A. Speck und J. Wagner (Hrsg.): Integration betrieblicher Informationssysteme: Problemanalysen und Lösungsansätze des Model-Driven Integration Engineering, Leipziger Beiträge zur Informatik, 2006

 

Technische Berichte

  • R. Van Der Straeten, A. Speck, E. Pulvermüller, M. Clauß und A. Pleuß. Proceedings of Correctness of Model-based Software Composition (CMC), ECOOP 2003 Workshop, Technical Report No. 2003-13, Universität Karlsruhe, Fakultät für Informatik, Juli 2003
  • A. Speck, E. Pulvermüller, M. Clauß, R. Van Der Straeten und R. Reussner. Proceedings of Model-based Software Reuse, ECOOP 2002 Workshop, Technical Report No. 2002-4, Universität Karlsruhe, Fakultät für Informatik, September 2002
  • P. Costanza, G. Kniesel, K. Mehner, E. Pulvermüller and A. Speck. Proceedings of the Second German Workshop on Aspect-Oriented Software Development, Technical Report No. IAI-TR-2002-1, Rheinische Friedrich-Wilhelms-Universität Bonn, Institut für Informatik III, Februar 2002
  • W. Goerigk, E. Pulvermüller und A. Speck. Proceedings of the common Workshop of GI-FG 2.1.4 and GI-FG 2.1.9: Sprachen, Architekturen und neue objektorientierte Softwaretechniken, Technical Report No. 2018, Christian-Albrechts-Universität Kiel, Institut für Informatik und Praktische Mathematik, Oktober 2001
  • E. Pulvermüller, A. Speck, J.O. Coplien, M. D'Hondt und W. DeMeuter. Proceedings of Feature Interaction in Composed Systems, ECOOP 2001 Workshop, Technical Report No. 2001-14, Universität Karlsruhe, Fakultät für Informatik, September 2001
  • A. Speck. Feldbus CAN und das CANopen Protokoll. WSI-2000-17,
    [4] Wilhelm-Schickard-Institut für Informatik, Universität Tübingen, 2000
  • E. Pulvermüller, A. Rashid und A. Speck. Supporting Composition using Assertions. Technical Report No: CSEG/4/00, Computing Department, Lancaster University, 2000

Eingeladene Vorträge

  • A.Speck. Business Process Validation, Business Process and Services Computing (BPSC), Leipzig, 25. September, 2007
  • A. Speck. Entwicklungsperspektiven des E-Commerce, In @kit Kongress 2005 Neueste Entwicklungen im Recht des E-Commerce, Bayreuther Arbeitskreis für Informationstechnologie - neue Medien - Recht e.V., Friedrich-Schiller-Universität Jena, 04. November 2005
  • A. Speck. Modellierung und Verifikation von Komponentensystemen. W. Rossak: Fakultät für Mathematik und Informatik, Friedrich-Schiller-Universität Jena, 04. Juli 2001
  • A. Speck. Versioning and Software Validation. T. D'Hondt und V. Jonckers. Computer Science Seminar, Vrije Universiteit Brussel, Brüssel, Belgien, 21. März 2001
  • A. Speck. Generative and Component-based Approaches. I. Sommerville: Computer Science Department Seminar, Lancaster University, Lancaster, UK, 6. April, 2000
  • A. Speck. Robot Control Framework. In: Jahrestreffen GI Fachgruppe 2.1.9 Objektorientierte Softwareentwicklung, OOP, München, 13. Februar, 1998
  • A. Speck. Java Robot Vision. F. Toenniessen und C. Zeidler: GI Arbeitskreis Java und verteilte Objekte, AKVO, Heidelberg, 21. - 22. August, 1997