Search

You are here: Homepage > Search

Clear all

Synonyms were used for: Softwareentwicklung
Search without synonyms: keywords:("Softwareentwicklung")

1–50 of 76 hits

group similar items

Reusable Dialog Component Framework for Rapid Voice Application Development

Akolkar, R. P. / Faruquie, T. / Huerta, J. et al. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

A CCA-compliant Nuclear Power Plant Simulator Kernel

Diaz, M. / Garrido, D. / Romero, S. et al. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

An Empirical Study on the Specification and Selection of Components Using Fuzzy Logic

Cooper, K. / Cangussu, J. W. / Lin, R. et al. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations

Grunske, L. / Kaiser, B. / Papadopoulos, Y. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Tailored Responsibility Within Component-Based Systems

Franz, E. / Wappler, U. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Evaluating Performance Attributes of Layered Software Architecture

Sharma, V. S. / Jalote, P. / Trivedi, K. S. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Performance Prediction of J2EE Applications Using Messaging Protocols

Liu, Y. / Gorton, I. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Experience with Component-Based Development of a Telecommunication Service

Bond, G. W. / Cheung, E. / Goguen, H. H. et al. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models

Gu, Z. / He, Z. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Exogenous Connectors for Software Components

Lau, K.-K. / Elizondo, P. V. / Wang, Z. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

TeStor: Deriving Test Sequences from Model-Based Specifications

Pelliccione, P. / Muccini, H. / Bucchiarone, A. et al. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Efficient Upgrading in a Purely Functional Component Deployment Model

Dolstra, E. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Experience Report: Design and Implementation of a Component-Based Protection Architecture for ASP.NET Web Services

Beznosov, K. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Finding a Needle in the Haystack: A Technique for Ranking Matches Between Components

Tansalarak, N. / Claypool, K. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Unlocking the Grid

Mattmann, C. A. / Medvidovic, N. / Ramirez, P. M. et al. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Qinna, a Component-Based QoS Architecture

Tournier, J.-C. / Babau, J.-P. / Olive, V. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Optimizing Resource Usage in Component-Based Real-Time Systems

Fredriksson, J. / Sandstrom, K. / Akerholm, M. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

EJBMemProf - A Memory Profiling Framework for Enterprise JavaBeans

Meyerhofer, M. / Volz, B. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

A Contracting System for Hierarchical Components

Collet, P. / Rousseau, R. / Coupaye, T. et al. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Architecture Based Deployment of Large-Scale Component Based Systems: The Tool and Principles

Lan, L. / Huang, G. / Ma, L. et al. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

A Component-Oriented Model for the Design of Safe Multi-threaded Applications

Behrends, R. / Stirewalt, R. E. K. / Dillon, L. K. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Component-Level Dataflow Analysis

Rountev, A. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Component-Based Open Middleware Supporting Aspect-Oriented Software Composition

Lagaisse, B. / Joosen, W. | British Library Conference Proceedings | 2005

Keywords: Software engineering , Component-based software engineering

Case Study: NASA Space Shuttle Flight Control Software

Panel on Statistical Methods in Software Engineering | British Library Conference Proceedings | 1996

Keywords: software engineering , statistical software engineering

Verification of Solid State Interlocking Programs

James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014

Keywords: Software engineering

Validation of Railway Interlocking Systems by Formal Verification, A Case Study

Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014

Keywords: Software engineering

Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014

Keywords: Software engineering

Verification of Scheme Plans Using CSP||B

James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014

Keywords: Software engineering

Applied Bounded Model Checking for Interlocking System Designs

Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014

Keywords: Software engineering

Twenty-Five Years of Formal Methods and Railways: What Next?

Fantechi, A. | British Library Conference Proceedings | 2014

Keywords: Software engineering

Testing Operational Flight Programs (OFPs)

Satterthwaite, C. P. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Software Testing Practices and their Evolution for the '90s

Di Carlo, P. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Object versus Functional Oriented Design

Occelli, P. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

A Common Approach for an Aerospace Software Environment

Cheratzu, F. D. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Designing and Maintaining Decision-Making Processes

Borden, A. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Mastering the Increasing Complexity of Avionics

Chanet, P. / Cassigneul, V. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Keynote Address - Requirements Engineering Based on Automatic Programming of Software Architectures

Royce, W. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Software Engineering Methods in the HERMES On-Board Software

Lacan, P. / Colangeli, P. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

The Discipline of Defining the Software Product

Bergey, J. K. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

DSSA-ADAGE: An Environment for Architecture-Based Avionics Development

Coglianese, L. H. / Szymanski, R. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

A Distributed Object-Based Environment in Ada

Corbin, M. J. / Butler, G. F. / Birkett, P. R. et al. | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

A Disciplined Approach to Software Test and Evaluation

Gordon, J. L. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Design of a Thin Wire Real-Time Multiprocessor Operating System

Gauthier, C. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

SDE's for the year 2000 and Beyond: an EF Perspective

Goodwin, D. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Application of Information Management Methodologies for Project Quality Improvement in a Changing Environment

Sandrelli, F. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

ENTREPRISE II: A PCTE Integrated Project Support Environment

Olivier, G. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Integrated Formal Verification and Validation of Safety Critical Software

Ward, N. J. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Ada Run Time System Certification for Avionics Applications

Brygier, J. / Richard-Foy, M. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Un Environnement de Programmation d'Applications Distribuees et Tolerantes aux Pannes sur une Architecture Parallele Reconfigurable

Fraboul, C. / Siron, P. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Embedded Expert System: From the Mock-Up to the Real World

Cagnache, F. / North Atlantic Treaty Organization | British Library Conference Proceedings | 1993

Keywords: aerospace software engineering

Year of publication

Type of media

Source

Author

Subject

Type of material

Licence

Language