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.
Compiled by an experienced practitioner in the field, this book contains definitions of the major terms used in Reliability Engineering and Software Assessment.
System Development: A Strategic Framework looks at one of the key issues in the design and development of IT systems: the fact that the bulk of system development projects undertaken will fail to meet originally defined objectives.
A very large proportion of commercial and industrial concerns in the UK find their business competitiveness dependent on huge quantities of already installed, legacy IT.
If you are interested in understanding how the systematic use of task models in the design, development, and usability evaluation of interactive software applications can open new opportunities and possibilities then this book will help you do just that.
Introducing Fortran 95 contains:- Lots of clear and simple examples highlighting the language features- Details of a variety of internet based sources which will prove invaluable for those seeking further information and support- Key features of the latest version of Fortran, including ISO Technical Reports TR 15580 and TR 15581This comprehensive introduction will be essential to the complete beginner who wants to learn the fundamentals of programming using a modern, powerful, expressive and safe language, and to those wanting to update their programming skills by making the move from earlier versions of Fortran.
Essential Dynamic HTML fast provides a step-by-step approach to discovering DHTML and its techniques - everything you need to know from standard HTML tags to Layers and DOM (Document Object Model).
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.
A feature is a small modification or extension of a system which can be seen as having a self-contained functional role, such as Call Forwarding, Automatic Call back and Voice Mail in telephone services, to which users can subscribe.
Components of System Safety contains the invited papers presented at the tenth annual Safety-critical Systems Symposium, held in Southampton, February 2002.
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).
Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes.
Object-oriented inheritance has been in widespread use for a decade, and it is now realised that although inheritance is a powerful modelling tool with many associated advantages, its benefits are not automatically conferred on systems that simply use it.
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.
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.
If you have picked up this book and are browsing the Preface, you may well be asking yourself"e;What makes this book different from the large number I can find on amazon.
Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation.
This second edition contains a collection of technical abbreviations, acronyms, and identifiers (in short 'terms') that are used in information and communi- cation technologies and other related areas.
The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database and Expert Systems Applications, DEXA 2024, which took place in Naples, Italy, in August 2024.
The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database and Expert Systems Applications, DEXA 2024, which took place in Naples, Italy, in August 2024.
This volume constitutes revised selected papers of two workshops, the Doctoral Consortium, the Joint CBI-EDOC Forum and and other Joint CBI-EDOC event, which were held in conjunction with the 28th International Conference on Enterprise Design, Operations, and Computing, EDOC 2024, in Vienna, Austria, in September 10-13, 2024.
This book highlights the transformative potential of AI-enabled pricing, showing how it empowers businesses to unlock revenue, optimize customer experiences, and gain a competitive edge.
The two-volume set LNCS 14910 and 14911 constitutes the proceedings of the 35th International Conference on Database and Expert Systems Applications, DEXA 2024, which took place in Naples, Italy, in August 2024.
This two-volume set, CCIS 2348 and CCIS 2349 ,constitutes the revised selected papers from the International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024 Workshops, held in Santiago de Chile, Chile, in October 2024.
This three-volume set, CCIS 2345-2347, constitutes the revised selected papers from the 4th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024, held in Santiago de Chile, Chile, during October 21-23, 2024.
This book provides an overview of software security analysis in a DevOps cycle including requirements formalisation, verification and continuous monitoring.
The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.
The 7-volume set LNCS 14832 - 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2-4, 2024.
The 9-volume set LNAI 14267-14275 constitutes the proceedings of the 16th International Conference on Intelligent Robotics and Applications, ICIRA 2023, which took place in Hangzhou, China, during July 5-7, 2023.
Open-source software supply chains wield significant influence in the software industry, drawing substantial interest from enterprises, researchers, and policymakers.
This book constitutes the refereed proceedings of the 30th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2024, held in Winterthur, Switzerland, during April 8-12, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
This three-volume set, CCIS 2345-2347, constitutes the revised selected papers from the 4th International Conference on Advanced Research in Technologies, Information, Innovation and Sustainability 2024, ARTIIS 2024, held in Santiago de Chile, Chile, during October 21-23, 2024.
This book constitutes the proceedings of the 30th International Conference on Collaboration Technologies and Social Computing, CollabTech 2024, held in Barcelona, Spain, during September 11-14, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
The 10-volume set LNAI 15201-15210 constitutes the proceedings of the 17th International Conference on Intelligent Robotics and Applications, ICIRA 2024, which took place in Xi'an, China, during July 31-August 2, 2024.
This book constitutes the refereed post-conference proceedings of the 20th International Conference on Computer Science and Education in Computer Science, CSECS 2024, held in Sofia, Bulgaria, during June 28-30, 2024.
This book constitutes the refereed proceedings of the 28th International Conference on Linking Theory and Practice of Digital Libraries, TPDL 2024, held in Ljubljana, Slovenia, during September 24-27.
