Search Results

1

Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004 : revised selected papers /

Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands, June 26-27, 2003 and Linköping, Sweden, June...

Berlin ; New York : Springer, 2005

Conference Proceeding Book

2

PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 /

PCK50 : principles of computing & knowledge : Paris C. Kanellakis Memorial Workshop, on the occasion of his 50th birthday : San Diego, California, USA, June 8th, 2003 /

New York : Association for Computing Machinery, 2003

Conference Proceeding Book

3

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /

Tools and algorithms for the construction and analysis of systems : 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice...

Berlin ; New York : Springer, 2003

Conference Proceeding Book

4

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures /

Formal methods for software architectures : Third International School on Formal Methods for the Design of Computer, Communication, and Software Systems--Software Architectures, SF...

Berlin ; New York : Springer, 2003

Conference Proceeding Book

5

UML 2003-the unified modeling language : modeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings /

UML 2003-the unified modeling language : modeling languages and applications : 6th international conference, San Francisco, CA, USA, October 20-24, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

6

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

7

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /

Computer aided verification : 15th international conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

8

Software process technology : 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings /

Software process technology : 9th European Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

9

Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings /

Computer safety, reliability, and security : 22nd International Conference, SAFECOMP 2003, Edinburgh, UK, September 23-26, 2003 : proceedings /

Berlin ; New York : Springer, 2003

Conference Proceeding Book

10

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revised papers /

Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software : FATES 2003 : Montreal, Quebec, Canada, October 6th, 2003 : revise...

Berlin ; New York : Springer-Verlag, 2004

Conference Proceeding Book

11

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /

Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers /

Berlin ; New York : Springer, 2004

Book

12

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /

Software product-family engineering : 5th international workshop, PFE 2003, Siena, Italy, November 4-6, 2003 : revised papers /

Berlin ; New York : Springer, 2004

Conference Proceeding Book

13

Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004 : revised selected papers /

Model driven architecture : European MDA workshops: foundations and applications, MDAFA 2003 and MDAFA 2004, Twente, the Netherlands, June 26-27, 2003 and Linköping, Sweden, June...

Berlin ; New York : Springer, 2005

Conference Proceeding Book