» książki » Computers - Software Development & Engineering - General
topmenu
Kategoria BISAC: Computers >> Software Development & Engineering - General
ilość książek w kategorii: 10698
 |
User-Developer Cooperation in Software Development: Building Common Ground and Usable Systems
ISBN: 9781852333119 / Angielski / Twarda / 317 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable software demands understanding and supporting users and their tasks. Users are a primary source of usability requirements and knowledge, since users can be expected to have intimate and extensive knowledge of themselves, their tasks and their working environment. Task analysis approaches to software development encourage a focus on supporting users and their tasks while participatory design approaches encourage users' direct, active contributions...
The topic of the research reported here is direct user participation in the task-based development of interactive software systems. Building usable so...
|
cena:
403,47 |
 |
Specification Case Studies in Raise
ISBN: 9781852333591 / Angielski / Miękka / 405 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built....
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and ap...
|
cena:
403,47 |
 |
Managing Software Quality: A Measurement Framework for Assessment and Prediction
ISBN: 9781852333935 / Angielski / Miękka / 126 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is one of the shorter books in the 21 volume Practitioner Book Series, but this is entirely appropriate for a text on the ubiquitous topic of Quality. The book is written in a concise, precise no-nonsense style by two interna tional authors. They are supported in their approach by relevant personal practical experience and by peer-review of other researchers obtained whilst disseminating their research in the academic literature. The authors base their book around their Objective/Principles/ Attributes (OPA) Framework, developed in the first place for assessment and prediction of...
This is one of the shorter books in the 21 volume Practitioner Book Series, but this is entirely appropriate for a text on the ubiquitous topic of Qua...
|
cena:
201,72 |
 |
Business Process Modelling with ARIS: A Practical Guide
ISBN: 9781852334345 / Angielski / Miękka / 531 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. 1994 marks the year that the international version of ARlS Toolset - a software system capable of analysing, modelling and navigating business processes - was developed and released by the software and consulting company IDS Prof. Scheer GmbH in Saarbriicken, Germany (from 1999 known as IDS Scheer AG). By the end of 2000 an estimated 24,000 copies of this product will have been sold and installed worldwide, with many additional copies supplied to universities for teaching and research projects. The system's connectivity to existing integrated standard software products, such as System Rl3 and...
1994 marks the year that the international version of ARlS Toolset - a software system capable of analysing, modelling and navigating business process...
|
cena:
403,47 |
 |
Practical Software Reuse
ISBN: 9781852335021 / Angielski / Miękka / 222 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Right context, software reuse promises high value to businesses that develop software, opening the door to radical improvements in their software capability (productivity, cost, time to market). Attempts to adopt reuse without a sound understanding of the range of issues involved, however, can lead to expensive failure. This book is for those who are wondering whether they should adopt reuse and how, and also to those who have already started to adopt it but are wondering where they may be going wrong and how they could do better. It consistently emphasizes the practical issues that influence...
Right context, software reuse promises high value to businesses that develop software, opening the door to radical improvements in their software capa...
|
cena:
201,72 |
 |
Patterns and Skeletons for Parallel and Distributed Computing
ISBN: 9781852335069 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Patterns and Skeletons for Parallel and Distributed Computing is a unique survey of research work in high-level parallel and distributed computing over the past ten years. Comprising contributions from the leading researchers in Europe and the US, it looks at interaction patterns and their role in parallel and distributed processing, and demonstrates for the first time the link between skeletons and design patterns. It focuses on computation and communication structures that are beyond simple message-passing or remote procedure calling, and also on pragmatic approaches that...
Patterns and Skeletons for Parallel and Distributed Computing is a unique survey of research work in high-level parallel and distribute...
|
cena:
605,23 |
 |
Software Architectures: Advances and Applications
ISBN: 9781852336363 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. We have recently seen a renewal of interest in the field of software architectures. This has happened within the object-oriented community - with the emergenceofframe works and patterns- but also within a wider context of software engineering- with the concepts of components and component-based development. Work is now pro ceeding apace with new developments coming very rapidly. In such an environment it is easy to lose some important ideas; the need for a reflective view on what will be the lasting developments led us to organise a two day seminar in the Open University as a checkpoint in...
We have recently seen a renewal of interest in the field of software architectures. This has happened within the object-oriented community - with the ...
|
cena:
403,47 |
 |
Industrial-Strength Formal Methods in Practice
ISBN: 9781852336400 / Angielski / Miękka / 400 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software...
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfu...
|
cena:
605,23 |
 |
Constructing Correct Software
ISBN: 9781852338206 / Angielski / Miękka / 509 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the goal of traditional program testing and, more recently, of program verification (in which the theorem must be proved). Proofs are difficult, though even with the use of powerful theorem provers. This volume explains and illustrates an alternative method, which allows the construction of (necessarily correct) algorithms from a specification using algebraic transformations and refinement techniques which prevent the introduction of errors. Based on... Central to Formal Methods is the so-called Correctness Theorem which relates a specification to its correct Implementations. This theorem is the go... |
cena:
201,72 |
 |
Validated Designs for Object-Oriented Systems
ISBN: 9781852338817 / Angielski / Twarda / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers are to gain full advantage from such methods, they should be able to achieve designs that are not merely the subject of heated argument, but can be improved by careful, rigorous & machine-supported analysis. This book describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support. ...Object-oriented design methods are commonplace in computing systems development, but are often dismissed as 'boxes & arrows'. If systems developers... |
cena:
282,26 |
 |
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems
ISBN: 9781852338954 / Angielski / Twarda / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intheworldweliveinconcurrencyisthenorm.Forexample, thehumanbody isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim- taneously evolving and independently engaging in their individual biological processing.Inaddition, inthebiologicalworld, trulysequentialsystemsrarely arise. However, they are more common when manmade artefacts are cons- ered. In particular, computer systems are often developed from a sequential perspective. Why is this? The simple reason is that it is easier for us to think about sequential, rather than concurrent, systems. Thus, we use sequentiality as a device...
Intheworldweliveinconcurrencyisthenorm.Forexample, thehumanbody isamassivelyconcurrentsystem, comprisingahugenumberofcells, allsim- taneously evolving...
|
cena:
605,23 |
 |
Grid Computing: Software Environments and Tools
ISBN: 9781852339982 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Grid Computing requires the use of software that can divide and farm out pieces of a program to as many as several thousand computers. This book explores processes and techniques needed to create a successful Grid infrastructure. Leading researchers in Europe and the US look at the development of specialist tools and environments which will encourage the convergence of the parallel programming, distributed computing and data management communities. Specific topics covered include:
Grid Computing requires the use of software that can divide and farm out pieces of a program to as many as several thousand computers. This book ex... |
cena:
403,47 |
 |
Metrics for Software Conceptual Models
ISBN: 9781860944970 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The idea that “measuring quality is the key to developing high-quality software systems” is gaining relevance. Moreover, it is widely recognised that the key to obtaining better software systems is to measure the quality characteristics of early artefacts, produced at the conceptual modelling phase. Therefore, improving the quality of conceptual models is a major step towards the improvement of software system development.Since the 1970s, software engineers had been proposing high quantities of metrics for software products, processes and resources but had not been paying any...
The idea that “measuring quality is the key to developing high-quality software systems” is gaining relevance. Moreover, it is widely re...
|
cena:
697,61 |
 |
Mike and Phani's Essential C++ Techniques
ISBN: 9781893115040 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. C++ is the language of choice for developing the most sophisticated Windows programs, but it is filled with hidden traps for the unwary. Mike Hyman and Phani Vaddadi's no-nonsense book helps C++ programmers avoid these traps by providing invaluable techniques gleaned from a combined 30 years of experience. In this book, you'll find a number of invaluable real-world tips and techniques that will help you improve your code and coding practices.
C++ is the language of choice for developing the most sophisticated Windows programs, but it is filled with hidden traps for the unwary. Mike ...
|
cena:
134,68 |
 |
a programmer's introduction to windows dna
ISBN: 9781893115170 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first book designed to help Windows developers decide not only which technologies to use but also how to use them. It teaches them to combine the wide variety of technologies that make up Windows DNA into effective solutions for their own enterprise application requirements. The author makes use of his long consulting experience in the client-server world to describe "best practices" that apply to building Windows DNA applications.
This is the first book designed to help Windows developers decide not only which technologies to use but also how to use them. It teaches them to comb...
|
cena:
231,02 |
 |
Doing Web Development: Client Side Techniques
ISBN: 9781893115873 / Angielski / Miękka / 478 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. New technologies such as Microsoft .NET are moving more and more traditional programmers into the world of Web application development, but most of the tools and books on Web development intended for programmers focus on server side development and neglect the critical client side. Proper use of client scripts, style sheets, and XML are essential for building high performance web applications that provide a rich user environment. This book addresses those client-side issues that every Web application programmer needs to know. "Doing Web Development: Client-Side Techniques" is designed for...
New technologies such as Microsoft .NET are moving more and more traditional programmers into the world of Web application development, but most of th...
|
cena:
121,01 |
 |
Software Development on a Leash
ISBN: 9781893115910 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. "Software Development on a Leash" is designed as a roadmap for experienced developers and architects to align their approaches and development priorities for high reuse and innovation. Author David Birmingham's products have been successfully deployed in a variety of venues, in this context, highly complex desktop environments with rapid turnaround and high-intensity delivery deadlines. This book contrasts the application-centric development approach from the architecture-centric development approach, introducing the concept of the metamorphic super-pattern. Metamorphism is the capability of...
"Software Development on a Leash" is designed as a roadmap for experienced developers and architects to align their approaches and development priorit...
|
cena:
121,01 |
 |
User Training for Busy Programmers
ISBN: 9781904811459 / Angielski / Miękka / 92 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Do you need to write a successful software training course? Are you unsure of how to start? Would you like a step-by-step project plan to guide you in the development of your software class? This book gets right to the point with clear, concise directions for developing an end-user software course. If you need to design and write a software training course, and you're not sure where to begin, this book is for you. This step-by-step job aid walks you through the process of developing a successful, instructor-led software class. There are many good books on training theory. This book takes a...
Do you need to write a successful software training course? Are you unsure of how to start? Would you like a step-by-step project plan to guide you in...
|
cena:
69,02 |
 |
Visual SourceSafe 2005 Software Configuration Management in Practice
ISBN: 9781904811695 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book uses a real-world case-study project to teach you how to manage software configuration efficiently using Visual SourceSafe 2005, Microsoft's Software Configuration Management (SCM) solution for independent developers and for developers working in small- and medium-sized teams. It also provides a best-practices reference on using SourceSafe 2005 to manage the software development lifecycle. Why is Software Configuration Management important? Software Configuration Management (SCM) is the discipline of managing the building and modification of software through techniques including...
This book uses a real-world case-study project to teach you how to manage software configuration efficiently using Visual SourceSafe 2005, Microsoft's...
|
cena:
250,28 |
 |
math toolkit for real-time programming
ISBN: 9781929629091 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Helps you learn how to do big math on small machines with fast and accurate library functions, numerical integration to any order and z-transform formulas.
Helps you learn how to do big math on small machines with fast and accurate library functions, numerical integration to any order and z-transform form...
|
cena:
410,60 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
