Ditemukan 170 dokumen yang sesuai dengan query
This book constitutes the refereed proceedings of the International Conference on Data and Knowledge Engineering, ICDKE 2012, held in Wuyishan, Fujian, China, in November 2012. The conference was co-located with the 6th International Conference on Network and System Security, NSS 2012. The 13 revised full papers of ICDKE 2012 were carefully reviewed and selected from 53 submissions. The papers cover the following topics: artificial intelligence and data engineering; knowledge discovery and data management; information extraction ...
Berlin: Springer, 2012
e20406946
eBooks Universitas Indonesia Library
Jane Cleland-Huang, editor
Software and systems traceability provides a comprehensive description of the practices and theories of software traceability across all phases of the software development lifecycle. ...
London: Springer, 2012
e20407432
eBooks Universitas Indonesia Library
Langer, Arthur M., editor
This book addresses how best to make build vs. buy decisions, and what effect such decisions have on the software development life cycle (SDLC). Offering an integrated approach that includes important management and decision practices, the text explains how to create successful solutions that fit user and customer needs, by mixing different SDLC methodologies. Features : provides concrete examples and effective case studies, focuses on the skills and insights that distinguish successful software implementations, covers ...
London: Springer, 2012
e20407438
eBooks Universitas Indonesia Library
Parsons, David
This book presents a guide to the core features of Java and some more recent innovations, enabling the reader to build skills and confidence though tried-and-trusted stages, supported by exercises that reinforce key learning points ...
London: Springer, 2012
e20407553
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies ...
Berlin: Springer-Verlag, 2012
e20409160
eBooks Universitas Indonesia Library
Edmund Clarke, editor
This book contains thoroughly refereed and revised papers from the 8th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2011, held in Akademgorodok, Novosibirsk, Russia, in June/July 2011. The 18 revised full papers and 10 revised short papers presented were carefully reviewed and selected from 60 submissions. The volume also contains 5 invited papers covering a range of hot topics in computer science and informatics. The papers are organized in topical sections ...
Berlin: [Springer-Verlag, ], 2012
e20409852
eBooks Universitas Indonesia Library
Dimitra Giannakopoulou, editor
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such ...
Berlin: [Springer-Verlag, ], 2012
e20410026
eBooks Universitas Indonesia Library
Marco Brambilla, editor
This book constitutes the refereed proceedings of the 12th International Conference on Web Engineering, ICWE 2012, held in Berlin, Germany, in July 2012. The 20 revised full papers and 15 short papers were carefully reviewed and selected from 98 submissions. The papers are organized in topical sections on social networks and collaboration, tagging, personalization and personal systems, search, Web modeling, AJAX and user interfaces, Web services, Web crawling, and Web and linked data management. The ...
Berlin: [Springer-Verlag, ], 2012
e20410176
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Software Language Engineering, SLE 2011, held in Braga, Portugal, in July 2011.
The 18 papers presented together with 4 tool/language demonstration papers were carefully reviewed and selected from numerous submissions. SLE’s foremost mission is to encourage and organize communication between communities that have traditionally looked at software languages from different, more specialized, and yet complementary perspectives. SLE emphasizes the fundamental notion of ...
Berlin: Springer-Verlag, 2012
e20410291
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the International Conference on Multiscore Software Engineering, Performance, and Tools, MSEPT 2012, held in Prague in May/June 2012. The 9 revised papers, 4 of which are short papers were carefully reviewed and selected from 24 submissions. The papers address new work on optimization of multicore software, program analysis, and automatic parallelization. They also provide new perspectives on programming models as well as on applications of multicore systems ...
Berlin: Springer-Verlag, 2012
e20410436
eBooks Universitas Indonesia Library
