Ditapis dengan
Software engineering for embedded systems : methods, practical techniques, an…
This Expert Guide gives you the techniques and technologies in software engineering to optimally design and implement your embedded system. Written by experts with a solutions focus, this encyclopedic reference gives you an indispensable aid to tackling the day-to-day problems when using software engineering methods to develop your embedded systems. With this book you will learn: - The pr…
- Edisi
- -
- ISBN/ISSN
- 9780124159174
- Deskripsi Fisik
- xlix, 1150 hlm.
- Judul Seri
- -
- No. Panggil
- E1444
Up and running with AutoCAD 2014 : 2D and 3D drawing and modeling
Get "Up and Running" with AutoCAD using Gindis’s combination of step-by-step instruction, examples, and insightful explanations. The emphasis from the beginning is on core concepts and practical application of AutoCAD in architecture, engineering and design. Equally useful in instructor-led classroom training, self-study, or as a professional reference, the book is written with the user in mi…
- Edisi
- -
- ISBN/ISSN
- 9780124104921
- Deskripsi Fisik
- xiii, 762 hlm.
- Judul Seri
- -
- No. Panggil
- E1441
Aspect-oriented requirements engineering
Broadly-scoped requirements such as security, privacy, and response time are a major source of complexity in modern software systems. This is due to their tangled inter-relationships with and effects on other requirements. Aspect-Oriented Requirements Engineering (AORE) aims to facilitate modularisation of such broadly-scoped requirements, so that software developers are able to reason about th…
- Edisi
- 1st Ed
- ISBN/ISSN
- 9783642386404
- Deskripsi Fisik
- xix, 383 hlm.
- Judul Seri
- -
- No. Panggil
- E1247
Software product quality control
Quality is not a fixed or universal property of software; it depends on the context and goals of its stakeholders. Hence, when you want to develop a high-quality software system, the first step must be a clear and precise specification of quality. Yet even if you get it right and complete, you can be sure that it will become invalid over time. So the only solution is continuous quality control:…
- Edisi
- 1st Ed
- ISBN/ISSN
- 9783642385711
- Deskripsi Fisik
- xii, 210 hlm. : il.
- Judul Seri
- -
- No. Panggil
- E1246
Enterprise, business-process and information systems modeling
This book contains the refereed proceedings of the 14th International Conference on Business Process Modeling, Development and Support (BPMDS 2013) and the 18th International Conference on Exploring Modeling Methods for Systems Analysis and Design (EMMSAD 2013), held together with the 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013) in Valencia, Spain, in J…
- Edisi
- 1st Ed
- ISBN/ISSN
- 9783642384844
- Deskripsi Fisik
- xviii, 482 hlm.
- Judul Seri
- Lecture Notes in Business Information Processing
- No. Panggil
- E1243
Agile processes in software engineering and extreme programming
This book contains the refereed proceedings of the 14th International Conference on Agile Software Development, XP 2013, held in Vienna, Austria, in June 2013. In the last decade, the interest in agile and lean software development has been continuously growing. Agile and lean have evolved from a way of working -- restricted in the beginning to a few early adopters -- to the mainstream way of …
- Edisi
- 1st Ed
- ISBN/ISSN
- 9783642383144
- Deskripsi Fisik
- xii, 253 hlm.
- Judul Seri
- Lecture Notes in Business Information Processing
- No. Panggil
- E1238
Industrial deployment of system engineering methods
A formal method is not the main engine of a development process, its contribution is to improve system dependability by motivating formalisation where useful. This book summarizes the results of the DEPLOY research project on engineering methods for dependable systems through the industrial deployment of formal methods in software development. The applications considered were in automotive, aer…
- Edisi
- -
- ISBN/ISSN
- 9783642331701
- Deskripsi Fisik
- x, 262 hlm.
- Judul Seri
- -
- No. Panggil
- E1152
Web dynpro ABAP for practitioners
Web Dynpro ABAP, a NetWeaver web application user interface tool from SAP, enables web programming connected to SAP Systems. The authors’ main focus was to create a book based on their own practical experience. Each chapter includes examples which lead through the content step-by-step and enable the reader to gradually explore and grasp the Web Dynpro ABAP process. The authors explain in part…
- Edisi
- 2nd Ed
- ISBN/ISSN
- 9783642382475
- Deskripsi Fisik
- xv, 479 hlm.
- Judul Seri
- -
- No. Panggil
- E1235
Enabling things to talk : Designing IoT solutions with the IoT architectural …
The Internet of Things (IoT) is an emerging network superstructure that will connect physical resources and actual users. It will support an ecosystem of smart applications and services bringing hyper-connectivity to our society by using augmented and rich interfaces. Whereas in the beginning IoT referred to the advent of barcodes and Radio Frequency Identification (RFID), which helped to auto…
- Edisi
- -
- ISBN/ISSN
- 9783642404030
- Deskripsi Fisik
- x, 349 hlm. : il. warna
- Judul Seri
- -
- No. Panggil
- E1286
Rekayasa perangkat lunak : pendekatan praktisi
Judul asli :"Software engineering apractitioner`s approach"
- Edisi
- -
- ISBN/ISSN
- -
- Deskripsi Fisik
- xx, 645 hlm.
- Judul Seri
- -
- No. Panggil
- 005.3 Fre r
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah