Bernd J. Krämer

Br. J. Educ. Technol., 2010

From content to practice: Sharing educational practice in edu-sharing.

[BibT_eX]

[DOI]

Michael Klebl

Annett Zobel

Br. J. Educ. Technol., 2010

Editorial: Learning objects in progress.

[BibT_eX]

[DOI]

Michael Klebl

Br. J. Educ. Technol., 2010

2009

Discovery.

[BibT_eX]

[DOI]

Schahram Dustdar

Christian Platzer

Proceedings of the Encyclopedia of Database Systems, 2009

A Hindsight on Formal Methods and Prospects of Semantic Computing in Software Engineering.

[BibT_eX]

[DOI]

Tiziana Margaria

Int. J. Semantic Comput., 2009

2008

Introduction to special issue on service oriented computing (SOC).

[BibT_eX]

[DOI]

Schahram Dustdar

ACM Trans. Web, 2008

Exposure and Support of Latent Social Networks among Learning Object Repository Users.

[BibT_eX]

[DOI]

Peng Han

Gerd Kortemeyer

Christine von Prümmer

J. Univers. Comput. Sci., 2008

Component meets service: what does the mongrel look like?

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2008

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Schahram Dustdar

Priya Narasimhan

Int. J. Cooperative Inf. Syst., 2008

2007

Common-interest Based Self-organising E-Learner Communities.

[BibT_eX]

[DOI]

Fan Yang

Peng Han

Proceedings of the Contributions to Ubiquitous Computing, 2007

Representation and Discovery of Intelligent E-Services.

[BibT_eX]

[DOI]

Proceedings of the E-Service Intelligence: Methodologies, Technologies and Applications, 2007

A Service Component Architecture to Federate E-Universities: A Case Study in Virtual Mobility.

[BibT_eX]

[DOI]

Proceedings of the Contributions to Ubiquitous Computing, 2007

Pervasive E-Learning. Lerntechnik, drahtlose Kommunikation und mobile Middleware oder mehr?

[BibT_eX]

[DOI]

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

2006

Substitution or Complement: An Empirical Analysis on the Impact of Collaborative Tagging on Web Search.

[BibT_eX]

[DOI]

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Exploring the Use of Cellular Phones for Pervasive eLearning.

[BibT_eX]

[DOI]

Georg Ströhlein

Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006

2005

Backward Inference in Bayesian Networks for Distributed Systems Management.

[BibT_eX]

[DOI]

J. Netw. Syst. Manag., 2005

Exploiting the Construction of E-Learner Communities from a Trust Connectionist Point of View.

[BibT_eX]

[DOI]

Trans. SDPS, 2005

05462 Service-Oriented Computing: A Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Service Oriented Computing (SOC), 15.-18. November 2005, 2005

Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland.

[BibT_eX]

[DOI]

Proceedings of the Perspectives Workshop, 05.10. - 08.10.2005, 2005

2004

Probabilistic Inference Strategy in Distributed Intrusion Detection Systems.

[BibT_eX]

[DOI]

Proceedings of the Parallel and Distributed Processing and Applications, 2004

An Inference Algorithm for Probabilistic Fault Management in Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Network Control and Engineering for QoS, Security and Mobility, III, 2004

Probabilistic Inference for Network Management.

[BibT_eX]

[DOI]

Proceedings of the Universal Multiservice Networks: Third European Conference, 2004

2003

Modelling Predictable Component-Based Distributed Control Architectures.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

A Publish/Subscribe Scheme for Peer-to-Peer Database Networks.

[BibT_eX]

[DOI]

Jian Yang

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

DOA 2003 PC Co-chairs' Message.

[BibT_eX]

[DOI]

Maarten van Steen

Steve Vinoski

Proceedings of the On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE, 2003

Leveraging Web-Services and Peer-to-Peer Networks.

[BibT_eX]

[DOI]

Jian Yang

Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003

Cooperative Learning in Self-Organizing E-Learner Communities Based on a Multi-Agents Mechanism.

[BibT_eX]

[DOI]

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2002

Automated verification of function block-based industrial control systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2002

Predictable Component Architectures Using Dependent Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

2001

Software Engineering (Editorial).

[BibT_eX]

[DOI]

Trans. SDPS, 2001

2000

Design Patterns for Synchronization Adapters of Corba Objects.

[BibT_eX]

Hans-Arno Jacobsen

Obj. Logiciel Base données Réseaux, 2000

Modeling Interface Definition Language Extensions.

[BibT_eX]

[DOI]

Hans-Arno Jacobsen

Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000

Multibook's test environment.

[BibT_eX]

[DOI]

Nathalie Poerwantoro

Abdulmotaleb El-Saddik

Ralf Steinmetz

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Interaktive Lernsysteme im Fernstudium: Betrachtung eines Programmierkurses im Zeitraffer.

[BibT_eX]

[DOI]

Proceedings of the Informatik 2000, 2000

Modeling Object Dynamics.

[BibT_eX]

Proceedings of the Advances in Object-Oriented Data Modeling, 2000

1999

3D-Visualisierung sicherheitskritischer Vorgänge in der Lehre mittels Java und VRML.

[BibT_eX]

Hans-Friedrich Kötter

Proceedings of the Simulation und Visualisierung 1999 (SimVis 1999), 1999

Beyond the Whiteboard: Synchronous Collaboration in Shared Object Spaces.

[BibT_eX]

[DOI]

Lutz M. Wegner

Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS '99), 1999

1998

Deriving CORBA Applications from Formal Specifications.

[BibT_eX]

[DOI]

Reiner Lichtenecker

Hans-Friedrich Kötter

J. Syst. Integr., 1998

Distributed Systems Management Software-in-the-Loop.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1998

Neue Medien im Fernstudium.

[BibT_eX]

[DOI]

Proceedings of the Informatik und Ausbildung, GI-Fachtagung 98, 1998

A Design Pattern based Approach to Generating Synchronization Adaptors from Annotated IDL.

[BibT_eX]

[DOI]

Hans-Arno Jacobsen

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

1997

Erratum: A Database Model for Object Dynamics.

[BibT_eX]

[DOI]

VLDB J., 1997

A Database Model for Object Dynamics.

[BibT_eX]

[DOI]

VLDB J., 1997

A Highly Dependable Computing Architecture for Safety-Critical Control Applications.

[BibT_eX]

[DOI]

Real Time Syst., 1997

Editorial.

[BibT_eX]

[DOI]

Real Time Syst., 1997

Keeping Pace with an Information Society.

[BibT_eX]

[DOI]

Computer, 1997

Agent Based Management of Distributed Systems with Variabel Polling Frequency Policies.

[BibT_eX]

Proceedings of the Integrated Network Management V, 1997

A Case Study in Developing Complex Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996

Integrated Multimedia-Based Distance Teaching of Information Technology.

[BibT_eX]

[DOI]

Jürgen Schormann

J. Univers. Comput. Sci., 1996

Languages for the specification of software.

[BibT_eX]

[DOI]

J. Syst. Softw., 1996

Rules and agents for automated management of distributed systems.

[BibT_eX]

[DOI]

Distributed Syst. Eng., 1996

Knowledge-Based Support for Distributed Systems Management.

[BibT_eX]

Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

Using Heterogeneous Formal Methods in Distributed Software Engineering Education.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1996

1995

Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software.

[BibT_eX]

[DOI]

Leszek Trybus

Comput. J., 1995

Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.

[BibT_eX]

Proceedings of the Verläßliche IT-Systeme, Proceedings der GI-Fachtagung VIS '95, 1995

Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung.

[BibT_eX]

[DOI]

Jürgen Schormann

Proceedings of the Innovative Konzepte für die Ausbildung, 1995

Formally Verified Firmware Modules for Industrial Process Automation.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Computer Safety, 1995

Adaptiver Scheduler für verteilte Systeme.

[BibT_eX]

[DOI]

Gerald Rohde

Proceedings of the Kommunikation in Verteilten Systemen, Neue Länder - Neue Netze, 1995

Enforcing management policies in distributed systems.

[BibT_eX]

[DOI]

Soon-Key Jung

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994

Safety Assurance in Process Control.

[BibT_eX]

[DOI]

IEEE Softw., 1994

Stärken und Schwächen formaler Beschreibungstechniken für verteilte Systeme.

[BibT_eX]

[DOI]

Prax. Inf.verarb. Kommun., 1994

Rule-enhanced Petri nets for software process modeling.

[BibT_eX]

Proceedings of the SEKE'94, 1994

Applying Process Technology to Hardware Design.

[BibT_eX]

[DOI]

Burhan Dinler

Proceedings of the Software Process Technology, Third European Workshop, 1994

On the Representation of Objects with Polymorphic Shape and Behaviour.

[BibT_eX]

[DOI]

Athman Bouguettaya

Proceedings of the Entity-Relationship Approach, 1994

1993

Compositional Semantics of a Real-Time Prototyping Language.

[BibT_eX]

[DOI]

Luqi

Valdis Berzins

IEEE Trans. Software Eng., 1993

The time dimension considered appropriate for resource access synchronization.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 1993

Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung.

[BibT_eX]

Proceedings of the Verläßliche Informationssysteme, 1993

PEARL als Spezifikationssprache.

[BibT_eX]

[DOI]

Proceedings of the PEARL 93, 1993

1992

Guest Editors' Introduction.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 1992

Formale Spezifikationstechniken - Stand von Methoden und Anwendungsumgebungen.

[BibT_eX]

Inform. Forsch. Entwickl., 1992

Achieving high integrity of process control software by graphical design and formal verification.

[BibT_eX]

[DOI]

Softw. Eng. J., 1992

Multiparadigm Description of System Development Processes.

[BibT_eX]

[DOI]

Claus Hoffmann

Burhan Dinler

Proceedings of the Software Process Technology, Second European Workshop, 1992

1991

Toward formal models of software engineering processes.

[BibT_eX]

[DOI]

Luqi

J. Syst. Softw., 1991

A sort of parametric polymorphism for algebraic specifications.

[BibT_eX]

[DOI]

J. Syst. Softw., 1991

Introducing the GRASPIN specification language SEGRAS<sup>, </sup>.

[BibT_eX]

[DOI]

J. Syst. Softw., 1991

The project GRASPIN and its CASE environment prototypes: An overview.

[BibT_eX]

[DOI]

Wolf D. Itzfeldt

Marie-Luise Christ-Neumann

J. Syst. Softw., 1991

Prototyping and formal analysis of concurrent and distributed systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Software Specification and Design, 1991

Coordinating software process activities.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Software Process Workshop (ISPW '91), 1991

1989

Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems.

[BibT_eX]

[DOI]

PhD thesis, 1989

Developing Integrated Environments with ASDL.

[BibT_eX]

[DOI]

IEEE Softw., 1989

Methodologies for meeting hard deadlines in industrial distributed real-time systems.

[BibT_eX]

[DOI]

Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988

Specifying concurrent objects.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM SIGPLAN Workshop on Object-based Concurrent Programming, 1988

Object-Oriented Development of Integrated Programming Environments with ASDL.

[BibT_eX]

[DOI]

Proceedings of the 1988 ACM SIGSMALL/PC Symposium on ACTES, May 4-6, 1988, Cannes, France, 1988

1987

SEGRAS - A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

1984

Formal and Semi-Graphic Specification of Non-Sequential Systems.

[BibT_eX]

Proceedings of the Entwurf großer Software-Systeme, 1984

Stepwise construction of non-sequential software systems using a net-based specification language.

[BibT_eX]

[DOI]

Proceedings of the Advances in Petri Nets 1984, 1984

1982

A High Level Net Language for Stepwise Modeling of Organizational Systems.

[BibT_eX]

[DOI]

Proceedings of the Adequate Modeling of Systems, 1982

1981

Der Entwurf nebenläfiger Systeme mit Handlungs-Entscheidungs-Netzen.

[BibT_eX]

[DOI]

Proceedings of the GI, 1981

1980

Interaktive Softwareentwicklung durch schrittweise Formalisierung.

[BibT_eX]

Proceedings of the Software Engineering, 1980

1979

Locally Nondeterministic and Hybrid Syntax Analyzers from Partitioned Two-Level Grammars.

[BibT_eX]

[DOI]