馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Transactions on aspect-oriented software development X /

Corporate Authors: SpringerLink (Online service)
Group Author: Leavens, Gary T.; Chiba, Shigeru; Tanter, E ric
Published: Springer,
Publication Dates: 2013.

eBook

2

Cover is for reference only

Requirements engineering, foundation for software quality：15th International Working Conference, REFSQ 2009, Amsterdam, the Netherlands, June 8-9, 2009 : proceedings

Corporate Authors: REFSQ 2009 (2009 Amsterdam, Netherlands); SpringerLink (Online service)
Group Author: Glinz Martin.; Heymans Patrick.
Published: Springer,
Publication Dates: c2009.

Book

3

Cover is for reference only

Transactions on aspect-oriented software development V

Corporate Authors: SpringerLink (Online service)
Group Author: Rashid Awais.; Ossher Harold.
Published: Springer,
Publication Dates: c2009.

Book

4

Cover is for reference only

Theory and practice of model transformations：second international conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009 : proceedings

Corporate Authors: ICMT 2009 (2009 Zurich, Switzerland); SpringerLink (Online service)
Group Author: Paige Richard F.
Published: Springer,
Publication Dates: c2009.

Book

5

Cover is for reference only

Transactions on aspect-oriented software development VI：special issue on aspects and model-driven engineering

Corporate Authors: SpringerLink (Online service)
Group Author: Katz Shmuel.
Published: Springer,
Publication Dates: c2009.

Book

6

Cover is for reference only

Innovations for requirements analysis：from stakeholders' needs to formal designs : 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007 : revised selected papers

Corporate Authors: Monterey Workshop (14th 2007 Monterey, Calif.); SpringerLink (Online service)
Group Author: Martell Craig.; Paech Barbara.
Published: Springer,
Publication Dates: c2008.

Book

7

Cover is for reference only

The common component modeling example：comparing software component models

Corporate Authors: SpringerLink (Online service)
Group Author: Rausch Andreas, Prof.
Published: Springer,
Publication Dates: 2008.

Book

8

Cover is for reference only

Models in software engineering：workshops and symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006 : reports and revised selected papers

Corporate Authors: MoDELS 2006 (2006 Genoa, Italy)
Group Author: Kühne Thomas.
Published: Springer,
Publication Dates: c2007.
Call Number: TP311.52-532/M689-1/2006

Book

9

Cover is for reference only

Reliable systems on unreliable networked platforms：12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers

Corporate Authors: SpringerLink (Online service)
Group Author: Sztipanovits Janos.; Kordon Fabrice.
Published: Springer,
Publication Dates: c2007.

Book

10

Cover is for reference only

Foundations of software science and computational structures：10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings

Corporate Authors: FOSSACS 2007 (2007 Braga, Portugal; ETAPS 2007 (2007 Braga, Portugal)
Group Author: Seidl Helmut
Published: Springer,
Publication Dates: c2007.
Call Number: TP31-532/F771/2007

Book

11

Cover is for reference only

Reliable systems on unreliable networked platforms：12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 : revised selected papers

Corporate Authors: Monterey Workshop (12th 2005 Laguna Beach, CA; Monterey Workshop on "Networked systems: realization of reliable systems on unreliable networked platforms 2005 Laguna Beach, CA)
Group Author: Sztipanovits Janos; Kordon Fabrice
Published: Springer,
Publication Dates: c2007.
Call Number: TP311.52-532/M778/2005

Book

12

Cover is for reference only

Software process dynamics and agility：International Conference on Software Process, ICSP 2007, Minneapolis, MN, USA, May 19-20, 2007 : proceedings

Corporate Authors: International Conference on the Software Process (2007 Minneapolis, Minn.); Software Process Workshop. (2007 Minneapolis, Minn.); International Workshop on Software Process Simulation and Modeling. (2007 Minneapolis, Minn.); SpringerLink (Online service)
Group Author: Pfahl Dietmar.; Raffo David Mitchell.; Wang Qing, 1964 Jan. 29-
Published: Springer,
Publication Dates: c2007.

Book

13

Cover is for reference only

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, March 24-April 1, 2007 : proceedings

Corporate Authors: TACAS 2007 (2007 Braga, Portugal; ETAPS 2007 (2007 Braga, Portugal)
Group Author: Grumberg Orna; Huth Michael 1962-
Published: Springer,
Publication Dates: c2007.
Call Number: TP338.8-532/T671/2007

Book

14

Cover is for reference only

Foundations of software science and computational structures：10th international conference, FOSSACS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 : proceedings

Corporate Authors: FOSSACS 2007 (2007 Braga, Portugal); ETAPS 2007 (2007 Braga, Portugal); SpringerLink (Online service)
Group Author: Seidl Helmut.
Published: Springer,
Publication Dates: c2007.

Book

15

Cover is for reference only

Model driven architecture - foundations and applications：third European conference, ECMDA-FA 2007, Haifa, Israel, June 11-15, 2007 : proceedings

Corporate Authors: European Conference on Model Driven Architecture - Foundations and Applications (3rd 2007 Haifa, Israel); SpringerLink (Online service)
Group Author: Vogel Régis.; Paige Richard F.; Akehurst David H.
Published: Springer,
Publication Dates: c2007.

Book

16

Cover is for reference only

Model driven architecture：foundations and applications : second European conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13 2006 : proceedings

Corporate Authors: European Conference on Model Driven Architecture - Foundations and Applications (2nd 2006 Bilbao, Spain); SpringerLink (Online service)
Group Author: Warmer Jos B.; Rensink Arend.
Published: Springer,
Publication Dates: c2006.

Book

17

Cover is for reference only

Satellite events at the MoDELS 2005 conference：MoDELS 2005 international workshops, doctoral symposium, educators symposium, Montego Bay, Jamaica, October 2-7, 2005 : revised selected papers

Corporate Authors: MoDELS 2005 (2005 Montego Bay, Jamaica)
Group Author: Bruel Jean-Michel 1969-
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.52-532/S253/2005

Book

18

Cover is for reference only

Tools and algorithms for the construction and analysis of systems：12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-April 2, 2006 : proceedings

Corporate Authors: TACAS 2006 (2006 Vienna, Austria); ETAPS 2006 (2006 Vienna, Austria); SpringerLink (Online service)
Group Author: Palsberg Jens.; Hermanns Holger, 1967-
Published: Springer,
Publication Dates: c2006.

Book

19

Cover is for reference only

Software process improvement：13th European conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006 : proceedings

Corporate Authors: EuroSPI 2006 (2006 Joensuu, Finland
Group Author: Richardson Ita; Runeson Per 1966-; Messnarz Richard
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.52-532/E899/2006

Book

20

Cover is for reference only

Product-focused software process improvement：7th international conference, PROFES 2006, Amsterdam, The Netherlands, June 12-14, 2006 : proceedings

Corporate Authors: PROFES 2006 (2006 Amsterdam, Netherlands
Group Author: Münch Jürgen; Vierimaa Matias
Published: Springer,
Publication Dates: c2006.
Call Number: TP311.5-532/I613-5/2006

Book

Narrow Search