Cover Image

Evaluation of novel approaches to software engineering : 5th international conference, ENASE 2010, Athens, Greece, July 22-24, 2010 : revised selected papers /

Bibliographic Details
Corporate Author:	ENASE (Conference) Athens, Greece)
Other Authors:	Loucopoulos, P. (Pericles), Maciaszek, Leszek
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2011]
Series:	Communications in computer and information science ; 230.
Subjects:	Software engineering > Congresses. Computer science Information Systems Information Systems Applications (incl. Internet) Logic design Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software engineering Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Agent-oriented software engineering XI : 11th International Workshop, AOSE 2010, Toronto, Canada, May 10-11, 2010 : revised selected papers /
Published: (2011)

Empirical software engineering and verification : International Summer Schools, LASER 2008-2010, Elba Island, Italy : revised tutorial lectures /
Published: (2011)

Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings /
Published: (2011)

Testing software and systems : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, proceedings /
Published: (2011)

Software Engineering - ESEC-FSE '97 : 6th European Software Engineering Conference Held Jointly with the 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Zürich, Switzerland, September 22-25, 1997. Proceedings /
by: Jazayeri, Mehdi
Published: (1997)

Software engineering and formal methods : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /
Published: (2011)

Formal methods for components and objects : 9th international symposium, FMCO 2010, Graz, Austria, November 29-December 1, 2010 : revised papers /
Published: (2011)

Formal methods, foundations and applications : 14th Brazilian Symposium, SBMF 2011, Sâo Paulo, Brazil, September 26-30, 2011, revised selected papers /
Published: (2011)

Reliable Software Technologies -- Ada-Europe 2003 : 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings /
by: Rosen, Jean-Pierre
Published: (2003)

Programming languages and systems : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011, Proceedings /
Published: (2011)

Implementation and application of functional languages : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010 : revised selected papers /
Published: (2011)

Software Security -- Theories and Systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers /
by: Okada, Mitsuhiro
Published: (2003)

Datalog reloaded : first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised selected papers /
Published: (2011)

Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers /
Published: (2011)

Middleware 2011 : ACM/IFIP/USENIX 12th International Middleware Conference, Lisbon, Portugal, December 12-16, 2011, Proceedings /
Published: (2011)

Applied Formal Methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998, Proceedings /
by: Hutter, Dieter
Published: (1999)

Requirements Engineering: Foundation for Software Quality : 28th International Working Conference, REFSQ 2022, Birmingham, UK, March 21-24, 2022, Proceedings /
Published: (2022)

Extreme Programming and Agile Methods - XP/Agile Universe 2003 : Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings /
by: Maurer, F. (Frank)
Published: (2003)

UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications : 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings /
by: Stevens, Perdita
Published: (2003)

Reachability problems : 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings /
Published: (2011)

Reliable Software Technologies - Ada-Europe '97 : 1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings /
by: Hardy, Keith
Published: (1997)

UML 2004 - The Unified Modeling Language : Modeling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings /
by: Baar, Thomas
Published: (2004)

TAPSOFT '89 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989 /
Published: (1989)

Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Published: (2011)

Formal Engineering for Industrial Software Development : Using the SOFL Method /
by: Liu, Shaoying
Published: (2004)

Software engineering for Internet applications /
by: Andersson, Eve Astrid
Published: (2006)

ECOOP 2003 - Object-Oriented Programming : 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings /
by: Cardelli, Luca
Published: (2003)

Conceptual modeling - ER 2011 : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings /
Published: (2011)

Principles and Practice of Constraint Programming CP98 : 4th International Conference, CP98 Pisa, Italy, October 2630, 1998 Proceedings /
Published: (1998)

Program logics for certified compilers /
by: Appel, Andrew W., 1960-
Published: (2014)

Software engineering, business continuity, and education : international conferences ASEA, DRBC and EL 2011, held as part of the Future Generation Information Technology Conference, FGIT 2011, in conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011, proceedings /
Published: (2011)

Open source systems : grounding research : 7th IFIP WG 2.13 International Conference, OSS 2011, Salvador, Brazil, October 6-7, 2011, proceedings /
Published: (2011)

Group Communications and Charges; Technology and Business Models : 5th COST264 International Workshop on Networked Group Communications, NGC 2003, and 3rd International Workshop on Internet Charging and QoS Technologies, ICQT 2003, /
by: Stiller, Burkhard, 1965-
Published: (2003)

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
by: Hunt, Jr., Warren A.
Published: (2003)

Conceptual Modeling - ER '97 : 16th International Conference on Conceptual Modeling, Los Angeles, CA, USA, November 3-5, 1997. Proceedings /
by: Embley, David W.
Published: (1997)

Evaluation of novel approaches to software engineering : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 ; Milan, Italy, May 9-10, 2009, Revised Selected Papers /
Published: (2010)

Algebraic foundations in computer science : essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
Published: (2011)

Database Theory - ICDT '97 : 6th International Conference, Delphi, Greece, January 8-10, 1997. Proceedings /
by: Afrati, Foto N.
Published: (1997)

Concise Guide to Software Engineering : From Fundamentals to Application Methods /
by: O'Regan, Gerard
Published: (2022)

Algorithmic learning theory : 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings /
Published: (2011)