skip to main content
Language:
The search failed for an undefined reason, this might have been caused by an unsupported special character in the query.
Show only
Refined by: subject: Electronic Data Processing remove Coordination remove subject: Software Engineering remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers
Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers
Material Type:
Book 		Add to e-Shelf

Advances in Service-Oriented and Cloud Computing: Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers

Canal, Carlos ; Villari, Massimo Villari, Massimo ; Canal, Carlos

Netherlands: Springer Nature 2013

Full text available

Citations Cited by
2
Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings
Material Type:
Book 		Add to e-Shelf

Coordination Models and Languages: 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings

De Nicola, Rocco ; Ferrari, Gianluigi ; Meredith, Greg Ferrari, Gian-Luigi ; Meredith, Greg ; De Nicola, Rocco

Berlin, Heidelberg: Springer Berlin / Heidelberg 2004

Full text available

Citations Cited by
3
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings
Material Type:
Book 		Add to e-Shelf

Coordination Models and Languages: 5th International Conference, COORDINATION 2002, YORK, UK, April 8-11, 2002 Proceedings

Arbab, Farhad ; Talcott, Carolyn Arbab, Farhad ; Talcott, Carolyn

Berlin, Heidelberg: Springer Berlin / Heidelberg 2002

Full text available

Citations Cited by
4
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers
Material Type:
Book 		Add to e-Shelf

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

Arbab, Farhad ; Ölveczky, Peter Csaba Arbab, Farhad ; lveczky, Peter Csaba

Netherlands: Springer Nature 2012

Full text available

Citations Cited by
5
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers
Material Type:
Book 		Add to e-Shelf

Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers

Barbosa, Luis Soares ; Lumpe, Markus Lumpe, Markus ; Barbosa, Luis Soares

Netherlands: Springer Nature 2012

Full text available

Citations Cited by
6
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers
Material Type:
Book 		Add to e-Shelf

Fundamentals of Software Engineering: Fourth International IPM Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers

Arbab, Farhad ; Sirjani, Marjan Arbab, Farhad ; Sirjani, Marjan

Netherlands: Springer Nature 2012

Full text available

Citations Cited by
7
Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers
Material Type:
Book 		Add to e-Shelf

Scientific Engineering of Distributed Java Applications: 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Guelfi, Nicolas ; Reggio, Gianna ; Romanovsky, Alexander

Berlin, Heidelberg: Springer Berlin / Heidelberg 2005

Full text available

Citations Cited by
8
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings
Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings
Material Type:
Book 		Add to e-Shelf

Service-Oriented and Cloud Computing: First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012, Proceedings

De Paoli, Flavio ; Pimentel, Ernesto ; Zavattaro, Gianluigi

Berlin, Heidelberg: Springer Berlin / Heidelberg 2012

Full text available

Citations Cited by
9
The Engineering of Large Systems
The Engineering of Large Systems
Material Type:
Book 		Add to e-Shelf

The Engineering of Large Systems

Zelkowitz, Marvin

San Diego: Elsevier Science & Technology 1998

Full text available

Citations Cited by
10
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
Material Type:
Book 		Add to e-Shelf

Web Services and Formal Methods: 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers

ter Beek, Maurice H ; Lohmann, Niels ter Beek, Maurice H ; Lohmann, Niels

Netherlands: Springer Nature 2013

Full text available

Citations Cited by

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Show only

  1. Peer-reviewed Journals (2)

  • Implemented by: ABCD-USP USP   Social Network Logos: Freepik

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far