Software engineering
Overview
| Works: | 236 works in 213 publications in 213 languages | |
|---|---|---|
Titles
Object-oriented requirements analysis and logical design:a software engineering approach
by:
(Language materials, printed)
Engineering quality software:a review of current practices,standards and guidelines including new methods and...
by:
(Language materials, printed)
Systems,software,and quality engineering:applying defect behavior theory to programming
by:
(Language materials, printed)
Matchmaking in electronic markets: an agent-based approach towards matchmaking in electronic negotiations
by:
(Language materials, printed)
Inductive synthesis of functional programs: universal planning,folding of finite programs,and schema abstraction by ...
by:
(Language materials, printed)
Empirical methods and studies in software engineering: experiences from ESERNET
by:
(Language materials, printed)
Engineering methods and tools for software safety and security[electronic resource] /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the Eighth SoMeT_09 /
by:
(Language materials, printed)
Software engineering research, management and applications 2011[electronic resource] /
by:
(Language materials, printed)
Computer science and convergence[electronic resource] :CSA 2011 & WCC 2011 proceedings /
by:
(Language materials, printed)
System specification and design languages[electronic resource] :selected contributions from FDL 2010 /
by:
(Language materials, printed)
Mathematical and engineering methods in computer science[electronic resource] :7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011 : revised selected papers /
by:
(Language materials, printed)
Software engineering and knowledge engineering[electronic resource] :theory and practice.Volume 1 /
by:
(Language materials, printed)
Software engineering and knowledge engineering[electronic resource] :theory and practice.Volume 2 /
by:
(Language materials, printed)
Recent advances in computer science and information engineering.[electronic resource] /Volume 1
by:
(Language materials, printed)
Recent advances in computer science and information engineering.[electronic resource] /Volume 2
by:
(Language materials, printed)
Recent advances in computer science and information engineering.[electronic resource] /Volume 5
by:
(Language materials, printed)
Advances in computer science and engineering[electronic resource] /
by:
(Language materials, printed)
Current trends in web engineering[electronic resource] :workshops, doctoral symposium, and tutorials, held at ICWE 2011, Paphos, Cyprus, June 20-21, 2011 : revised selected papers /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :4th international symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012 : proceedings /
by:
(Language materials, printed)
Recent advances in computer science and information engineering.[electronic resource] /Volume 3
by:
(Language materials, printed)
Recent advances in computer science and information engineering.[electronic resource] /Volume 6
by:
(Language materials, printed)
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.[electronic resource] /Volume 2
by:
(Language materials, printed)
Proceedings of the 2011 2nd International Congress on Computer Applications and Computational Science.[electronic resource] /Volume 1
by:
(Language materials, printed)
Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computational structures[electronic resource] :15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Language materials, printed)
Fundamental approaches to software engineering[electronic resource] :15th International Conference, FASE 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
(Language materials, printed)
S-BPM ONE - Scientific research[electronic resource] :4th International Conference, S-BPM ONE 2012, Vienna, Austria, April 4-5, 2012 : proceedings /
by:
(Language materials, printed)
Advances in software engineering techniques[electronic resource] :4th IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2009, Krakow, Poland, October 12-14, 2009 : revised selected papers /
by:
(Language materials, printed)
Software language engineering[electronic resource] :4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011 : revised selected papers /
by:
(Language materials, printed)
Fundamentals of software engineering[electronic resource] :4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(Language materials, printed)
Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(Language materials, printed)
Models in software engineering[electronic resource] :workshops and symposia at MODELS 2011, Wellington, New Zealand, October 16-21, 2011 : reports and revised selected papers /
by:
(Language materials, printed)
Emerging trends and applications in information communication technologies[electronic resource] :second International Multi Topic Conference, IMTIC 2012, Jamshoro, Pakistan, March 28-30, 2012 : proceedings /
by:
(Language materials, printed)
Mobile computing, applications, and services[electronic resource] :second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010 : revised selected papers /
by:
(Language materials, printed)
Business modeling and software design[electronic resource] :first International Symposium, BMSD 2011, Sofia, Bulgaria, July 27-28, 2011 : revised selected papers /
by:
(Language materials, printed)
Agile processes in software engineering and extreme programming[electronic resource] :13th International Conference, XP 2012, Malmo, Sweden, May 21-25, 2012. Proceedings /
by:
(Language materials, printed)
Perspectives of systems informatics[electronic resource] :8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised selected papers /
by:
(Language materials, printed)
Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
Product-focused software process improvement[electronic resource] :13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 : proceedings /
by:
(Language materials, printed)
Multicore software engineering, performance, and tools[electronic resource] :International Conference, MSEPT 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(Language materials, printed)
Advances in computer science, engineering & applications[electronic resource] :proceedings of the Second International Conference on Computer Science, Engineering & Applications (ICCSEA 2012), May 25-27, 2012, New Delhi, India.Volume 2 /
by:
(Language materials, printed)
Advances in computer science and information engineering.[electronic resource] /Volume 1
by:
(Language materials, printed)
Software engineering research, management and applications 2012[electronic resource] /
by:
(Language materials, printed)
Handbook of research on mobile software engineering[electronic resource] :design, implementation, and emergent applications /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques[electronic resource] /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the 9th SoMeT_10 /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the tenth SoMeT_11 /
by:
(Language materials, printed)
Software and systems safety[electronic resource] :specification and verification /
by:
(Language materials, printed)
Computer applications for software engineering, disaster recovery, and business continuity[electronic resource] :International Conferences, ASEA and DRBC 2012, held in conjunction with GST 2012, Jeju Island, Korea, November 28-December 2, 2012 : proceedings /
by:
(Language materials, printed)
Testing software and systems[electronic resource] :24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings /
by:
(Language materials, printed)
Web information systems engineering - WISE 2012[electronic resource] :13th international conference, Paphos, Cyprus, November 28-30, 2012 : proceedings /
by:
(Language materials, printed)
Middleware 2012[electronic resource] :ACM/IFIP/USENIX 13th international middleware conference, Montreal, QC, Canada, December 3-7, 2012 : proceedings /
by:
(Language materials, printed)
Proceedings of the ninth Workshop on Algorithm Engineering and Experiments and the fourth Workshop on Analytic Algorithmics and Combinatorics[electronic resource] /
by:
(Language materials, printed)
Proceedings of the tenth workshop on algorithm engineering and experiments and the fifth workshop on analytic algorithmics and combinations[electronic resource] /
by:
(Language materials, printed)
Applications of graph transformations with industrial relevance[electronic resource] :third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007 : revised selected and invited papers /
by:
(Language materials, printed)
Component-based software engineering[electronic resource] :11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Language materials, printed)
Engineering interactive systems 2008[electronic resource] :second Conference on Human-Centered Software Engineering, HCSE 2008 and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008 : proceedings /
by:
(Language materials, printed)
Formal methods and software engineering[electronic resource] :10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /
by:
(Language materials, printed)
Generative and transformational techniques in software engineering II[electronic resource] :international summer school, GTTSE 2007, Braga, Portugal, July 2-7, 2007 : revised papers /
by:
(Language materials, printed)
Quality of software architectures[electronic resource] :models and architectures : 4th international conference on the Quality of Software-Architectures, QoSA 2008, Karlsruhe, Germany, October 14-17, 2008 : proceedings /
by:
(Language materials, printed)
Runtime verification[electronic resource] :8th international workshop, RV 2008, Budapest, Hungary, March 30, 2008 : selected papers /
by:
(Language materials, printed)
Self-sustaining systems[electronic resource] :first workshop, S3 2008 Potsdam, Germany, May 15-16, 2008 : revised selected papers /
by:
(Language materials, printed)
Service-oriented computing - ICSOC 2008[electronic resource] :6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
by:
(Language materials, printed)
Software process and product measurement[electronic resource] :international conferences IWSM 2008, MetriKon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008 : proceedings /
by:
(Language materials, printed)
Software-intensive systems and new computing paradigms[electronic resource] :challenges and visions /
by:
(Language materials, printed)
Current trends in web engineering[electronic resource] :ICWE 2012 International Workshops: MDWE, ComposableWeb, WeRE, QWE, and Doctoral Consortium, Berlin, Germany, July 23-27, 2012 : revised selected papers /
by:
(Language materials, printed)
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(Language materials, printed)
Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(Language materials, printed)
On the move to meaningful internet systems: OTM 2012 workshops[electronic resource] :confederated international workshops: OTM Academy, Industry Case Studies Program, EI2N, INBAST, META4eS, OnToContent, ORM, SeDeS, SINCOM, and SOMOCO 2012, Rome, Italy, September 10-14, 2012 : proceedings /
by:
(Language materials, printed)
Knowledge-based software engineering[electronic resource] :proceedings of the Tenth Joint Conference on Knowledge-Based Software Engineering /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the eleventh SoMeT_12 /
by:
(Language materials, printed)
Modern trends and techniques in computer science[electronic resource] :3rd Computer Science On-line Conference 2014 (CSOC 2014) /
by:
(Language materials, printed)
Knowledge-based software engineering[electronic resource] :11th Joint Conference, JCKBSE 2014, Volgograd, Russia, September 17-20, 2014 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
by:
(Language materials, printed)
Agent-oriented software engineering[electronic resource] :reflections on architectures, methodologies, languages, and frameworks /
by:
(Language materials, printed)
Systems, software and services process improvement[electronic resource] :21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014 : proceedings /
by:
(Language materials, printed)
Experimental algorithms[electronic resource] :13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014 : proceedings /
by:
(Language materials, printed)
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part II /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part I /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part IV /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part III /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part VI /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2014[electronic resource] :14th International Conference, Guimaraes, Portugal, June 30 - July 3, 2014 : proceedings.Part V /
by:
(Language materials, printed)
Search-based software engineering[electronic resource] :6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014 : proceedings /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2013 /
by:
(Language materials, printed)
Image processing & communications challenges 6[electronic resource] /
by:
(Language materials, printed)
Applied computation and security systems.[electronic resource] /Volume Two
by:
(Language materials, printed)
Software engineering, artificial intelligence, networking and parallel/distributed computing[electronic resource] /
by:
(Language materials, printed)
Software engineering research, management and applications[electronic resource] /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
by:
(Language materials, printed)
SOFSEM 2015[electronic resource] :theory and practice of computer science : 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Snezkou, Czech Republic, January 24-29, 2015 : proceedings /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015 : proceedings /
by:
(Language materials, printed)
New trends in software methodologies, tools and techniques[electronic resource] :proceedings of the Thirteenth SoMeT_14 /
by:
(Language materials, printed)
Software engineering research, management and applications[electronic resource] /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation[electronic resource] :15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
by:
(Language materials, printed)
S-BPM ONE - Application studies and work in progress[electronic resource] :6th International Conference, S-BPM ONE 2014, Eichstatt, Germany, April 22-23, 2014 : proceedings /
by:
(Language materials, printed)
Software Engineering and Formal Methods[electronic resource] :SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013 : revised selected papers /
by:
(Language materials, printed)
Requirements engineering[electronic resource] :foundation for software quality : 20th International Working Conference, REFSQ 2014, Essen, Germany, April 7-10, 2014 : proceedings /
by:
(Language materials, printed)
Fundamental approaches to software engineering[electronic resource] :17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computation structures[electronic resource] :17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
(Language materials, printed)
Information and communication technology[electronic resource] :second IFIP TC5/8 International Conference, ICT-EurAsia 2014, Bali, Indonesia, April 14-17, 2014 : proceedings /
by:
(Language materials, printed)
Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013) /
by:
(Language materials, printed)
Intelligent software methodologies, tools and techniques[electronic resource] :13th International Conference, SoMeT 2014, Langkawi, Malaysia, September 22-24, 2014 : revised selected papers /
by:
(Electronic resources)
Software process improvement and capability determination[electronic resource] :15th International Conference, SPICE 2015, Gothenburg, Sweden, June 16-17, 2015 : proceedings /
by:
(Language materials, printed)
Experimental algorithms[electronic resource] :14th International Symposium, SEA 2015, Paris, France, June 29 - July 1, 2015 : proceedings /
by:
(Language materials, printed)
Web information systems engineering - WISE 2014 Workshops[electronic resource] :15th International Workshops IWCSN 2014, Org2 2014, PCS 2014, and QUAT 2014, Thessaloniki, Greece, October 12-14, 2014, Revised Selected Papers /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part IV /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part V /
by:
(Language materials, printed)
Computational science and its applications - ICCSA 2015[electronic resource] :15th International Conference, Banff, AB, Canada, June 22-25, 2015 : proceedings.Part III /
by:
(Language materials, printed)
Nordic contributions in IS research[electronic resource] :6th Scandinavian Conference on Information Systems, SCIS 2015, Oulu, Finland, August 9-12, 2015 : proceedings /
by:
(Language materials, printed)
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(Language materials, printed)
Search-based software engineering[electronic resource] :7th International Symposium, SSBSE 2015, Bergamo, Italy, September 5-7, 2015 : proceedings /
by:
(Language materials, printed)
Intelligent software methodologies, tools and techniques[electronic resource] :14th International Conference, SoMet 2015, Naples, Italy, September 15-17, 2015 : proceedings /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(Language materials, printed)
Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
by:
(Language materials, printed)
Model checking software[electronic resource] :22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015 : proceedings /
by:
(Language materials, printed)
Knowledge engineering and semantic web[electronic resource] :6th International Conference, KESW 2015, Moscow, Russia, September 30 - October 2, 2015 : proceedings /
by:
(Language materials, printed)
Systems, software and services process improvement[electronic resource] :22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 - October 2, 2015 : proceedings /
by:
(Language materials, printed)
Information and software technologies[electronic resource] :21st International Conference, ICIST 2015, Druskininkai, Lithuania, October 15-16, 2015 : proceedings /
by:
(Language materials, printed)
Software technologies[electronic resource] :9th International Joint Conference, ICSOFT 2014, Vienna, Austria, August 29-31, 2014 : revised selected papers /
by:
(Language materials, printed)
Fields of logic and computation II[electronic resource] :essays dedicated to Yuri Gurevich on the Occasion of His 75th Birthday /
by:
(Language materials, printed)
Software architecture[electronic resource] :9th European Conference, ECSA 2015, Dubrovnik/Cavtat, Croatia, September 7-11, 2015 : proceedings /
by:
(Language materials, printed)
Information and communication technology[electronic resource] :third IFIP TC 5/8 International Conference, ICT-EurAsia 2015, and 9th IFIP WG 8.9 Working Conference, CONFENIS 2015, held as part of WCC 2015, Daejeon, Korea, October 4-7, 2015 : proceedings /
by:
(Language materials, printed)
Fundamentals of software engineering[electronic resource] :6th International Conference, FSEN 2015, Tehran, Iran, April 22-24, 2015 : revised selected papers /
by:
(Language materials, printed)
Formal methods and software engineering[electronic resource] :17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
(Language materials, printed)
Dependable software engineering[electronic resource] :theories, tools, and applications : first International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015 : proceedings /
by:
(Language materials, printed)
Testing Software and Systems[electronic resource] :27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015 : proceedings /
by:
(Language materials, printed)
Engineering multi-agent systems[electronic resource] :third International Workshop, EMAS 2015, Istanbul, Turkey, May 5, 2015, Revised, Selected, and Invited Papers /
by:
(Language materials, printed)
Web information systems engineering - WISE 2015[electronic resource] :16th International Conference, Miami, FL, USA, November 1-3, 2015 : proceedings.Part I /
by:
(Language materials, printed)
Product-focused software process improvement[electronic resource] :16th International Conference, PROFES 2015 Bolzano, Italy, December 2-4, 2015 : proceedings /
by:
(Language materials, printed)
Algorithms and architectures for parallel processing[electronic resource] :15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015 : proceedings.Part II /
by:
(Language materials, printed)
Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(Language materials, printed)
Model-driven engineering and software development[electronic resource] :second International Conference, MODELSWARD 2014, Lisbon, Portugal, January 7-9, 2014 : revised selected papers /
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering[electronic resource] :9th International Conference, ENASE 2014, Lisbon, Portugal, April 28-30, 2014 : revised selected papers /
by:
(Language materials, printed)
Model-driven engineering and software development[electronic resource] :third International Conference, MODELSWARD 2015, Angers, France, February 9-11, 2015 : revised selected papers /
by:
(Language materials, printed)
Software engineering[electronic resource] :International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
(Language materials, printed)
Software engineering and formal methods[electronic resource] :SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015 : revised selected papers /
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering[electronic resource] :10th International Conference, ENASE 2015, Barcelona, Spain, April 29-30, 2015 : revised selected papers /
by:
(Language materials, printed)
Mathematical and engineering methods in computer science[electronic resource] :10th International Doctoral Workshop, MEMICS 2015, Telc, Czech Republic, October 23-25, 2015 : revised selected papers /
by:
(Language materials, printed)
Engineering secure software and systems[electronic resource] :8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016 : proceedings /
by:
(Language materials, printed)
Foundations of software science and computation structures[electronic resource] :19th International Conference, FOSSACS 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Fundamental approaches to software engineering[electronic resource] :19th International Conference, FASE 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, the Netherlands, April 2-8, 2016 : proceedings /
by:
(Language materials, printed)
Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
(Language materials, printed)
Automation control theory perspectives in intelligent systems[electronic resource] :proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016).Vol 3 /
by:
(Language materials, printed)
Modelling and implementation of complex systems[electronic resource] :proceedings of the 4th International Symposium, MISC 2016, May 7-8, 2016, Constantine, Algeria /
by:
(Language materials, printed)
Software engineering perspectives and application in intelligent systems[electronic resource] :proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016).Vol 2 /
by:
(Language materials, printed)
Agile processes in software engineering and extreme programming[electronic resource] :17th International Conference, XP 2016, Edinburgh, UK, May 24-27, 2016 : proceedings /
by:
(Language materials, printed)
Software process improvement and capability determination[electronic resource] :16th International Conference, SPICE 2016, Dublin, Ireland, June 9-10, 2016 : proceedings /
by:
(Language materials, printed)
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(Language materials, printed)
Web engineering[electronic resource] :16th International Conference, ICWE 2016, Lugano, Switzerland, June 6-9, 2016 : proceedings /
by:
(Language materials, printed)
Experimental algorithms[electronic resource] :15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016 : proceedings /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2015 /
by:
(Language materials, printed)
Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014)[electronic resource] /
by:
(Language materials, printed)
Image processing & communications challenges 7[electronic resource] /
by:
(Language materials, printed)
Trends and applications in software engineering[electronic resource] :proceedings of the 4th International Conference on Software Process Improvement CIMPS'2015 /
by:
(Language materials, printed)
Verification, model checking, and abstract interpretation[electronic resource] :17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016 : proceedings /
by:
(Language materials, printed)
Languages, design methods, and tools for electronic system design[electronic resource] :selected contributions from FDL 2014 /
by:
(Language materials, printed)
SOFSEM 2016[electronic resource] :theory and practice of computer science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016 : proceedings /
by:
(Language materials, printed)
Proceedings of 4th International Conference in Software Engineering for Defence Applications[electronic resource] :SEDA 2015 /
by:
(Language materials, printed)
Knowledge, information and creativity support systems[electronic resource] :recent trends, advances and solutions : selected papers from KICSS'2013 - 8th International Conference on Knowledge, Information, and Creativity Support Systems, November 7-9, 2013, Krakow, Poland /
by:
(Language materials, printed)
Software technologies[electronic resource] :10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015 : revised selected papers /
by:
(Language materials, printed)
Engineering trustworthy software systems[electronic resource] :first International School, SETSS 2014, Chongqing, China, September 8-13, 2014 : tutorial lectures /
by:
(Language materials, printed)
Knowledge, information and creativity support systems[electronic resource] :selected papers from KICSS'2014 - 9th International Conference, held in Limassol, Cyprus, on November 6-8, 2014 /
by:
(Language materials, printed)
Information science and applications (ICISA) 2016[electronic resource] /
by:
(Language materials, printed)
Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(Electronic resources)
Perspectives of system informatics[electronic resource] :10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015 : revised selected papers /
by:
(Electronic resources)
Software engineering and formal methods[electronic resource] :14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part IV /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part V /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part I /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part II /
by:
(Electronic resources)
Computational science and its applications - ICCSA 2016[electronic resource] :16th International Conference, Beijing, China, July 4-7, 2016 : proceedings.Part III /
by:
(Electronic resources)
Systems, software and services process improvement[electronic resource] :23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016 : proceedings /
by:
(Electronic resources)
Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(Electronic resources)
Software engineering for resilient systems[electronic resource] :8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
by:
(Electronic resources)
Static analysis[electronic resource] :23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(Electronic resources)
Information systems: development, research, applications, education[electronic resource] :9th SIGSAND/PLAIS EuroSymposium 2016, Gdansk, Poland, September 29, 2016 : proceedings /
by:
(Electronic resources)
Knowledge engineering and semantic web[electronic resource] :7th International Conference, KESW 2016, Prague, Czech Republic, September 21-23, 2016 : proceedings /
by:
(Electronic resources)
Information and software technologies[electronic resource] :22nd International Conference, ICIST 2016, Druskininkai, Lithuania, October 13-15, 2016 : proceedings /
by:
(Electronic resources)
Search based software engineering[electronic resource] :8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016 : proceedings /
by:
(Electronic resources)
Testing software and systems[electronic resource] :28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016 : proceedings /
by:
(Electronic resources)
Dependable software engineering[electronic resource] :theories, tools, and applications : second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016 : proceedings /
by:
(Electronic resources)
Formal methods and software engineering[electronic resource] :18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016 : proceedings /
by:
(Electronic resources)
Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part I /
by:
(Language materials, printed)
Web information systems engineering - WISE 2016[electronic resource] :17th International Conference, Shanghai, China, November 8-10, 2016 : proceedings.Part II /
by:
(Language materials, printed)
Software architecture[electronic resource] :10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 - December 2, 2016 : proceedings /
by:
(Language materials, printed)
Product-focused software process improvement[electronic resource] :17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016 : proceedings /
by:
(Language materials, printed)
Software engineering and methodology for emerging domains[electronic resource] :15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016 : proceedings /
by:
(Language materials, printed)
Evaluation of novel approaches to software engineering[electronic resource] :11th International Conference, ENASE 2016, Rome, Italy, April 27-28, 2016 : revised selected papers /
by:
(Language materials, printed)
Proceedings of the 2015 International Conference on Software Engineering and Information Technology (SEIT2015)[electronic resource] :Guilin, Guangxi, China, 26-28 June 2015 /
by:
(Language materials, printed)
Software process improvement and management[electronic resource] :approaches and tools for practical development /
by:
(Language materials, printed)
Proceedings of the 2nd International Conference on Intelligent Technologies and Engineering Systems (ICITES2013) /
by:
(Language materials, printed)
Advances in learning software organizations[electronic resource] :6th international workshop, LSO 2004, Banff, Canada, June 20-21, 2004 : proceedings /
by:
(Electronic resources)
Scientific Engineering of Distributed Java Applications[electronic resource] :4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers /
by:
(Electronic resources)
Software Engineering for Multi-Agent Systems III[electronic resource] :Research Issues and Practical Applications /
by:
(Electronic resources)
New trends in intelligent software methodologies, tools and techniques[electronic resource] :proceedings of the 16th International Conference SoMeT_17 /
by:
(Electronic resources)
Subjects