Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Rigorous development of complex fault tolerant systems [Elektronische Ressource]
Lecture notes in computer science : 4157 (Alle Bände), State-of-the-art survey
2006
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Software Process Dynamics and Agility : International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007. Proceedings [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Software Engineering Education in the Modern Age : Software Education and Training Sessions at the International Conference, on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Leveraging applications of formal methods : first international symposium ; revised selected papers [Elektronische Ressource]
Lecture notes in computer science : 4313 (Alle Bände)
2006
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Mathematics of Program Construction : 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Component-Based Software Development for Embedded Systems : An Overview of Current Research Trends [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Product-Focused Software Process Improvement : 7th International Conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
B 2007: Formal Specification and Development in B : 7th International Conference of B Users, Besancon, France, January 7-19, 2007, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Software Engineering Approaches for Offshore and Outsourced Development : First International Conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007. Revised Papers [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Automotive Software- Connected Services in Mobile Networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Extreme Programming and Agile Processes in Software Engineering (vol. # 4044) : 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Algebraic Methodology and Software Technology : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Software Process Improvment : 13th European Conference, EuroSpi 2006, Joensuu, Finland, October 11-13, 2006, Proceedings [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Components and Objects (vol. # 4111) : 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Rigorous Engineering of Fault-Tolerant Systems [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Automated technology for verification and analysis : 4th international symposium ; proceedings [Elektronische Ressource]
Lecture notes in computer science : 4218 (Alle Bände)
2006
  • Link zum Volltext
  • Zugriff nur im Hochschulnetz der Universität Paderborn bzw. für autorisierte Benutzer
    Datensatz exportieren als...
  • BibTeX
Formal Methods and Software Engineering (vol. # 3785) : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Innovative Concepts for Autonomic and Agent-Based Systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005, Revised Papers [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Dependable Computing - EDCC 2005 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings [Elektronische Ressource]
2005
    Datensatz exportieren als...
  • BibTeX
Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal [Elektronische Ressource]
2007
    Datensatz exportieren als...
  • BibTeX
Generative and Transformational Techniques in Software Engineering : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Dependable Systems: Software, Computing, Networks : Research Results of the DICS Program [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Formal Methods for Components and Objects : 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures [Elektronische Ressource]
2007
1 – 25 von 40
Suche als RSS-Feed
Aktive Filter
Autor / AutorinMattern, Friedemann
SchlagwortSoftwarearchitektur
Art des InhaltsSonstiges
SchlagwortOnline-Ressource
Suchergebnisse filtern
Filter anzeigen