search-head

You are here: Homepage >  Search

Conference paper   Tema Archive   Print   English   Clear all

Synonyms were used for: Softwaretechnik
Search without synonyms: title:"Softwaretechnik"

1–50 of 109 hits
|
Sort by:

    Ada and the NASA software environmenmt

    Ny, E.W. / Loesh, R. | Tema Archive | 1983

    A Generic Model for the Specification of Software Interface Requirements and Measurement of Their Functional Size

    Al-Sarayreh, Khalid T. / Abran, Alain | Tema Archive | 2010

    A Guidance Framework for the Generation of Implementation Models in the Automotive Domain

    Wozniak, E. / Mraidha, C. / Gerard, S. et al. | Tema Archive | 2011

    AHAA-Agile, hybrid assessment method for automotive, safety critical SMEs

    McCaffery, F. / Pikkarainen, M. / Richardson, I. | Tema Archive | 2008

    A language for advanced protocol analysis in automotive networks

    Reichert, T. / Klaus, E. / Schoch, W. et al. | Tema Archive | 2008

    An approach for the further development of the measuring system for the software quality assurance of bosch diesel systems

    Hofmann, I. / Zimmermann, M. / Dumke, R.R. | Tema Archive | 2003

    A new way to predict software reliability with parameter evaluation: shuttle applications

    Schneidewind, N.F. | Tema Archive | 2007

    An example from space: New development for high dependability for space board computing

    Montenegro, Sergio / Dittrich, Lutz | Tema Archive | 2008

    An experience-based repository of reusable components for an component-based automotive software system

    Hobelsberger, Martin / Dumke, Reiner / Mottok, Jürgen et al. | Tema Archive | 2010

    An Experience of Optimization Approach Application to Improve the Urban Passenger Transport Structure

    Krushel, Elena Georgievna / Stepanchenko, Ilya Victorovich / Panfilov, Alexander Eduardovich et al. | Tema Archive | 2014

    A portable on-line railway signal interference measurement system

    Allan, J. / Mellitt, B. / Brown, J.C. et al. | Tema Archive | 1987

    Applicability of COSMIC full function points for Bosch specifications

    Lother, M. / Dumke, R.R. / Böhm, T. et al. | Tema Archive | 2003

    Applying linguistic engineering to spatial software engineering: the traceability problem

    Borillo, M. / Borillo, A. / Castell, N. et al. | Tema Archive | 1992

    Applying modern software engineering tools to avionics systems development

    Klos, L.C. / Straeter, T.A. | Tema Archive | 1981

    Applying software engineering principles in train control systems

    Zhang, L. / Katwijk, J. van / Brink, K. | Tema Archive | 1994

    Approaches and implementation of software test and development system for embedded computer systems

    Zipori, H. / Sagiv, Z. / Yossovitch, A. | Tema Archive | 1988

    Appropriate reactions in embedded systems

    Hermann, Dirk / Liebehenschel, Jens | Tema Archive | 2008

    A secure and privacy-preserving electronic license plate

    Wolf, Marko | Tema Archive | 2010

    A software engineering environment (SEE) for weapon system software

    Stuebing, H.G. | Tema Archive | 1983

    Automated integration for the joint maritime command information system

    Lange, D.S. | Tema Archive | 1995

    Avionic software and ADA

    Shepherd, J.T. | Tema Archive | 1981

    Avionic system development and integration

    Lahad, Y. | Tema Archive | 1990

    Cadena: an integrated development, analysis, and verification environment for component-based systems

    Hatcliff, J. / Deng, Xinghua / Dwyer, M.B. et al. | Tema Archive | 2003

    CASE support for large systems

    Robinson, D. | Tema Archive | 1991

    Clone detection in automotive model-based development

    Deissenboeck, F. / Hummel, B. / Jurgens, E. et al. | Tema Archive | 2008

    Comparison of the portable program package PEPSOC and the ESOC MSSS orbit control software

    Pallaschke, S. | Tema Archive | 1983

    Deadlock control software for tow automated guided vehicles using Petri Nets

    Rovetto, Carlos / Cano, Elia / Colom, Jose-Manuel | Tema Archive | 2010

    Decision model for automotive intrusion detection systems

    Müter, Michael / Hoppe, Tobias / Dittmann, Jana | Tema Archive | 2010

    Defining a timing model for AUTOSAR - Status and challenges

    Richter, Kai | Tema Archive | 2008

    Efficient scheduling of reliable automotive multi-core systems with PD2 by weakening ERfair task system requirements

    Deubzer, Michael / Margull, Ulrich / Mottok, Jürgen et al. | Tema Archive | 2010

    Enabling the integration of CAD/CAM software in a network environment through case

    Grieshaber, M. / Myklebust, A. | Tema Archive | 1992

    End-to-end protection for a fail-safe FlexRay communication system

    Gstöttenbauer, Bernhard / Stöger, Georg / Kalhammer, Manfred et al. | Tema Archive | 2008

    Engineering an 'open' client/server-platform for a distributed Austrian Alpine road-pricing system in 240 days - case study and experience report

    Biffl, S. / Grechenig, T. / Oberpfalzer, S. | Tema Archive | 1996

    Experiences building and using a software engineering environment for avionics software

    Rader, J.A. | Tema Archive | 1985

    Experiences with text mining large collections of unstructured systems development artifacts at JPL

    Port, D. / Nikora, A. / Hihn, J. et al. | Tema Archive | 2011

    Explorations on the formal frontier of distributed system design

    Feather, M.S. | Tema Archive | 1992

    Formal methods in software engineering

    Hird, G.R. | Tema Archive | 1990

    Formal specification of human-computer interaction by graph grammars under consideration of information resources

    Sucrow, B.E. | Tema Archive | 1997

    Foundations for a model-driven integration of business services in a safety-critical application domain

    Mordinyi, Richard / Moser, Thomas / Kuhn, Eva et al. | Tema Archive | 2009

    Generating MC/DC adequate test sequences through model checking

    Rayadurgam, S. / Heimdahl, M.P.E. | Tema Archive | 2004

    Geographical vs. functional modelling by statecharts of interlocking systems

    Banci, Michele / Fantechi, Alessandro | Tema Archive | 2004

    High quality in elicitation and specification of non-functional requirements - Lessons learned from applying this method to the automotive domain

    Doerr, J. / Adam, S. / Blucha, F. et al. | Tema Archive | 2008

    High reliable remote terminal unit for space applications

    Guzman, David / Prieto, Manuel / Garcia, Daniel et al. | Tema Archive | 2009

    How higher integrity systems can benefit from process-centered software engineering environments

    Gimenes, I.M. / McDermid, J.A. | Tema Archive | 1992

    Implementation of a flight trainer simulator using a microprocessor based network: a system architecture selection report

    Efrati, A. / Feinmesser, D. / Megidish, E. et al. | Tema Archive | 1990

    Improving Design of Ground Control Station for Unmanned Aerial Vehicle: Borrowing from Design Patterns

    Jovanovic, Mladan / Starcevic, Dusan / Jovanovic, Zoran | Tema Archive | 2010

    Increasing reliability and availability for automotive embedded devices by enhanced wiring diagnosis

    Förster, Ralf / Kempf, Annette / Niemetz, Michael et al. | Tema Archive | 2010

    Industrial applications of software synthesis via category theory

    Williamson, K. / Healy, M. | Tema Archive | 1999

    Integrating system and software engineering through modeling

    Mindock, J. / Watney, G. | Tema Archive | 2008

    Integration of UML with Simulink into embedded software engineering

    Farkas, T. / Meiseki, E. / Neumann, C. et al. | Tema Archive | 2009

Number of results
10 20

Filter search results