Business Information Technology Group

Konferenzbeiträge

2010-now

  • 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