Evaluation of Novel Approaches to Software Engineering [electronic resource] :6th International Conference, ENASE 2011, Beijing, China, June 8-11, 2011. Revised Selected Papers / edited by Leszek A. Maciaszek, Kang Zhang.
by Maciaszek, Leszek A [editor.]; Zhang, Kang [editor.]; SpringerLink (Online service).
Material type:
BookSeries: Communications in Computer and Information Science: 275Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.Description: X, 219 p. 102 illus. online resource.ISBN: 9783642323416.Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Information Systems | Computer Science | Software Engineering | Logics and Meanings of Programs | Computer Communication Networks | Programming Languages, Compilers, Interpreters | Information Systems Applications (incl. Internet) | Management of Computing and Information SystemsDDC classification: 005.1 Online resources: Click here to access online | Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| MAIN LIBRARY | QA76.758 (Browse shelf) | Available |
Browsing MAIN LIBRARY Shelves Close shelf browser
| QA76.758 Model Checking Software | QA76.758 Formal Verification of Object-Oriented Software | QA76.758 Software Testing in the Cloud | QA76.758 Evaluation of Novel Approaches to Software Engineering | QA76.758 Formal Methods for Industrial Critical Systems | QA76.758 FM 2012: Formal Methods | QA76.758 CONCUR 2012 – Concurrency Theory |
Software quality and testing -- Requirements engineering -- Programming -- Software processes and methods -- Software tools and environments -- Business process and services modeling -- Software components -- Software effort and processes -- Socio-technical aspects of software development.
This book contains a collection of thoroughly refereed papers presented at the 6th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2011, held in Beijing, China, in June 2011. The 18 revised and extended full papers presented together with 10 revised short papers were carefully reviewed and selected from 75 initial submissions. The papers cover a wide range of topics, such as software quality and testing, requirements engineering, programming, software processes and methods, software tools and environments, business process and services modeling, software components, software effort and processes, and socio-technical aspects of software development.
There are no comments for this item.