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
-
21
Integrated formal methods 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
Published 2007Full Text (via Springer)
Electronic Conference Proceeding eBook -
22
Model driven engineering languages and systems 9th international conference, MoDELS 2006, Genova, Italy, October 1-6, 2006 : proceedings /
Published 2006Full Text (via Springer)
Electronic Conference Proceeding eBook -
23
International Symposium on Fundamentals of Software Engineering international symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007 : proceedings /
Published 2007Full Text (via Springer)
Electronic Conference Proceeding eBook -
24
Runtime Verification.
Published 2008Full Text (via Springer)
Electronic Conference Proceeding eBook -
25
Tests and proofs third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 : proceedings /
Published 2009Full Text (via Springer)
Electronic Conference Proceeding eBook -
26
Programming languages and systems 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008 : proceedings /
Published 2008Full Text (via Springer)
Electronic Conference Proceeding eBook -
27
Quality of software architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västeraas, Sweden, June 27-29, 2006 : revised papers /
Published 2006Full Text (via Springer)
Electronic Conference Proceeding eBook -
28
Runtime verification 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009, selected papers /
Published 2009Full Text (via Springer)
Electronic Conference Proceeding eBook -
29
Objects, models, components, patterns 48th international conference, TOOLS 2010, Malaga, Spain, June 28-July 2, 2010 ; proceedings /
Published 2010Full Text (via Springer)
Electronic Conference Proceeding eBook -
30
Formal approaches to software testing 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /
Published 2006Full Text (via Springer)
Electronic Conference Proceeding eBook -
31
Intelligent tutoring systems 10th international conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010 ; proceedings.
Published 2010Full Text (via Springer)
Electronic Conference Proceeding eBook -
32
Object-oriented technology ECOOP 2006 workshop reader ; ECOOP 2006 workshops, Nantes, France, July 3-7, 2006 : final reports /
Published 2007Full Text (via Springer)
Electronic Conference Proceeding eBook -
33
Requirements engineering: foundation for software quality 16th international working conference, REFSQ 2010, Essen, Germany, June 30-July 2, 2010 ; proceedings /
Published 2010Full Text (via Springer)
Electronic Conference Proceeding eBook -
34
Autonomic and trusted computing 6th international conference, ATC 2009, Brisbane, Australia, July 7-9, 2009 : proceedings /
Published 2009Full Text (via Springer)
Electronic Conference Proceeding eBook -
35
Agile processes in software engineering and eXtreme programming 8th international conference, XP 2007, Como, Italy, June 18-22, 2007 : proceedings /
Published 2007Full Text (via Springer)
Electronic Conference Proceeding eBook -
36
Software product lines going beyond : 14th international conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010 : proceedings /
Published 2010Full Text (via Springer)
Electronic Conference Proceeding eBook -
37
Formal methods for hardware verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May...
Published 2006Electronic Conference Proceeding eBook -
38
Domain-specific languages IFIP TC 2 Working Conference, DSL 2009, Oxford, UK, July 15-17, 2009 : proceedings /
Published 2009Full Text (via Springer)
Electronic Conference Proceeding eBook -
39
Component-based software engineering 12th international symposium, CBSE 2009, East Stroudsburg, Pa, USA, June 24-26, 2009 : proceedings /
Published 2009Full Text (via Springer)
Electronic Conference Proceeding eBook -
40
Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures /
Published 2007Full Text (via Springer)
Electronic Conference Proceeding eBook