Ditemukan 107 dokumen yang sesuai dengan query
Norton`s, Peter
Boston: McGraw-Hill , 2006
005.435 NOR i
Buku Teks Universitas Indonesia Library
White, Ron
California: Ziff-Davis, 1993
005.3 WHI h
Buku Teks Universitas Indonesia Library
Majchrzak, Tim A.
"
[This book summarizes the current knowledge of software testing and introduces three current research approaches. The base of knowledge is presented comprehensively in scope but concise in length; thereby the volume can be used as a reference. Research is highlighted from different points of view. Firstly, progress on developing a tool for automated test case generation (TCG) based on a program’s structure is introduced. Secondly, results from a project with industry partners on testing best ...
"
Heidelberg : [Springer, ], 2012
e20397012
eBooks Universitas Indonesia Library
"
This book constitutes the refereed proceedings of the 4th Software Quality Days Conference (SWQD) held in Vienna Austria in January 2012. The selection of presentations at the conference encompasses a mixture of practical presentations and scientific papers covering new research topics. The seven scientific full papers accepted for SWQD were each peer-reviewed by three or more reviewers and selected out of 18 high-quality submissions. Further six short papers on promising research directions were also presented ...
"
Berlin: Springer-Verlag, 2012
e20408097
eBooks Universitas Indonesia Library
Ricardo Pena, editor
"
This book constitutes the refereed post-proceedings of the Second International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2011, held in Madrid, Spain, in May 2011. The 8 revised full papers were carefully reviewed and selected from the papers presented at the workshop and papers submitted following an open call for contributions after the workshop. The papers are organized in the following topical sections, implicit complexity, analysis and verfication of cost expressions, and ...
"
Berlin : [, Springer-Verlag], 2012
e20410058
eBooks Universitas Indonesia Library
Eden, Amnon H.
"
LePUS3, the language of Codecharts, has proven to radically cuts the costs of key tasks in software development and significantly improves the quality of software produced. This classroom-tested resource teaches this visual language through extensive examples and case studies, offering more precise and elegant notation than any other text on the market. It provides accessible, illustration-driven content, with blueprints and roadmaps of programs appearing on almost every page. The book is written for software professionals, ...
"
New Jersey: Wiley , 2011
005.117 EDE c
Buku Teks SO Universitas Indonesia Library
Bennatan, E.M. (Edwin M.)
New York, N.Y.: John Wiley & Sons, 1995
005.106 8 BEN o
Buku Teks SO Universitas Indonesia Library
Grimm, Christine
"
[Christine Grimm presents a first-hand account of a social researcher who entered the software laboratory of one of the biggest ERP providers. Presenting an in-depth ethnography on how people act within such labs. she reveals the highly unexpected social character of programming and shows how the vendor reorganizes himself to find new ways to respond to the expectations of the market. Furthermore, the author highlights the informal practices when an ERP system, as a defective ...
"
Wiesbaden: [Springer, ], 2012
e20397078
eBooks Universitas Indonesia Library
"
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Runtime Verification, RV 2011, held in San Francisco, USA, in September 2011. The 24 revised full papers presented together with 3 invited papers, 4 tutorials and 4 tool demonstrations were carefully reviewed and selected from 71 submissions. The papers are organized in topical sections on parallelism and deadlocks, malware detection, temporal constraints and concurrency bugs, sampling and specification conformance, real-time, software ...
"
Berlin: Springer-Verlag, 2012
e20409040
eBooks Universitas Indonesia Library
McCracken, Daniel D.
New York: John Wiley & Sons, 1982
001.642 MCC g
Buku Teks Universitas Indonesia Library
