Skip to contents

  1. Sutcliffe, Alistair [Author]

    User-centred requirements engineering - [1. publ.]

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    London; Berlin; Heidelberg; New York; Barcelona; Hong Kong; Milan; Paris; Singapore; Tokyo: Springer, 2002

  2. Ehrig, Hartmut [Editor] ; Deutsche Forschungsgemeinschaft, Deutsche Forschungsgemeinschaft, INT 3 2004 Barcelona, ETAPS 7 2004 Barcelona

    Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) ; final report

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2004

    Published in: Lecture notes in computer science ; 3147

  3. Brim, Luboš [Editor]; Haverkort, Boudewijn [Other]; Leucker, Martin [Other]; Pol, Jaco van de [Other] ; International Workshop on Formal Methods for Industrial Critical Systems 11 2006 Bonn, PDMC 5 2006 Bonn

    Formal methods: applications and technology ; 11th international workshop, FMICS 2006, and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 ; revised selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Published in: Lecture notes in computer science ; 4346

  4. Romanovsky, Alexander [Editor]; Vardanega, Tullio [Other] ; Ada Europe, International Conference on Reliable Software Technologies 16 2011 Edinburgh

    Reliable software technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011 ; proceedings

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2011

    Published in: Lecture notes in computer science ; 6652

  5. Cofer, Darren [Editor]; Fantechi, Alessandro [Other] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

    Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers

    Books
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Published in: Lecture notes in computer science ; 5596