Suggested Topics within your search.
Suggested Topics within your search.
- Software engineering 105
- Computer software 101
- Formal methods (Computer science) 67
- Development 40
- Verification 34
- Reliability 31
- Testing 21
- Distributed processing 17
- Electronic data processing 17
- Computer programming 16
- Programming languages (Electronic computers) 16
- Computer science 15
- Quality control 15
- Computer security 14
- Web services 14
- Computer networks 13
- Object-oriented programming (Computer science) 13
- Component software 12
- Computer programs 12
- Evaluation 12
- Human-computer interaction 11
- Service-oriented architecture (Computer science) 11
- Software architecture 11
- Computer systems 10
- Mathematics 10
- Model-driven software architecture 10
- Parallel programming (Computer science) 10
- Automatic theorem proving 7
- Constraint programming (Computer science) 7
- Electronic digital computers 7
-
1
ECOOP 2007-- object-oriented programming 21st European conference, Berlin, Germany, July 30-August 3, 2007 : proceedings /
Published 2007Full Text (via Springer)
Electronic Conference Proceeding eBook -
2
Object-oriented technology ECOOP 2007 workshop reader : ECOOP 2007 workshops, Berlin, Germany, July 30-31, 2007 : final reports /
Published 2008Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
Formal methods and stochastic models for performance evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
Published 2007Full Text (via Springer)
Electronic Conference Proceeding eBook -
4
Service-oriented computing : 11th International Conference, ICSOC 2013, Berlin, Germany, December 2-5, 2013, Proceedings /
Published 2013Full Text (via Springer)
Conference Proceeding eBook -
5
Model driven architecture foundations and applications : 4th European conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008 ; proceedings /
Published 2008Full Text (via Springer)
Electronic Conference Proceeding eBook -
6
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
Published 2008Full Text (via Springer)
Electronic Conference Proceeding eBook -
7
Risk Assessment and Risk-Driven Testing : Third International Workshop, RISK 2015, Berlin, Germany, June 15, 2015. Revised Selected Papers /
Published 2015Full Text (via Springer)
Conference Proceeding eBook -
8
-
9
-
10
Coordination models and languages : 16th IFIP WG 6.1 International Conference, COORDINATION 2014, held as part of the 9th International Federated Conferences on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
Published 2014Full Text (via Springer)
Conference Proceeding eBook -
11
Formal techniques for distributed objects, components, and systems : 34th IFIP WG 6.1 International Conference, FORTE 2014, held as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014 : proceedings /
Published 2014Full Text (via Springer)
Conference Proceeding eBook -
12
Automated technology for verification and analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, proceedings /
Published 2008Full Text (via Springer)
Electronic Conference Proceeding eBook -
13
Formal approaches to software testing : 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /
Published 2006Full Text (via Internet Archive)
Conference Proceeding eBook -
14
Software-intensive systems and new computing paradigms challenges and visions /
Published 2008Full Text (via Springer)
Electronic eBook -
15
-
16
Automated technology for verification and analysis 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings /
Published 2007Full Text (via Springer)
Electronic Conference Proceeding eBook -
17
Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /
Published 2006Full Text (via Springer)
Electronic Conference Proceeding eBook -
18
Advances in software engineering Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /
Published 2008Full Text (via Springer)
Electronic Conference Proceeding eBook -
19
Software engineering approaches for offshore and outsourced development first international conference, SEAFOOD 2007, Zurich, Switzerland, February 5-6, 2007 : revised papers /
Published 2007Full Text (via Springer)
Electronic Conference Proceeding eBook -
20
Automated technology for verification and analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings /
Published 2009Full Text (via Springer)
Electronic Conference Proceeding eBook