Software Engineering

Advances in Soft Computing contains the most recent developments in the field of soft computing in engineering design and manufacture.

Today, software professionals recognize that change in software systems is inevitable.

Conceptual Modeling for User Interface Development introduces the technique of Entity-Relationship-Modeling and shows how the technique can be applied to interface issues.

Formal Specification is a textbook for 2nd/3rd year undergraduate and postgraduate courses in Formal Methods which offers a practical and versatile approach to constructing specifications.

Aspects of Safety Management contains the invited papers presented at the ninth annual Safety-critical Systems Symposium, held in Bristol, February 2001.

Objectives of this Book This book is an introduction to a set of software specification methods.

Finite Element Programs for Structural Vibrations presents detailed descriptions of how to use six computer programs (written in Fortran 77) to determine the resonant frequencies of one, two, and three-dimensional skeletal structures through the finite element method.

Client/server and distributed technologies have made great strides since their emergence in the late 1980s to become very popular in the IT industry today.

This book contains the Proceedings of the 6th Safety-critical Systems Sympo- sium, the theme of which is Industrial Perspectives.

Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry.

Dr Peter Milton, Director of Programme Review, Quality Assurance Agency I am grateful to the authors for giving me the opportunity to write this foreword, mainly because it represents the first occasion that the Fund for the Development of Teaching and Learning (FDTL) has led directly to a pUblication such as this.

PC viruses are not necessarily a major disaster despite what is sometimes written about them.

Fortran is one of the most widely used programming languages in science and engineering.

This book addresses issues concerning the engineering of system prod- ucts that make use of computing technology.

Current Issues in Safety-Critical Systems contains the invited papers presented at the eleventh annual Safety-critical Systems Symposium, held in February 2003.

Introduction The changing business environment, of global operations, mergers, decen- tralization, increased competition, pressure on budgets etc.

About this Book I wrote this book to help students who are about to start their first project.

The Idea of Program Refinement Programs are complex.

If you are a new programmer or a Java programmer moving to Java 2 then this is the book for you!

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.

We have recently seen a renewal of interest in the field of software architectures.

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.

Software Design - Cognitive Aspects covers a variety of areas including software analysis, design, coding and maintenance.

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.

In today's rush towards e-Business many organizations have failed to recognize that the responsibilities of IT Managers have significantly changed.

A new economy is emerging.

How to create dynamic web environments using the ASP .

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.

At the core of many engineering problems is the solution of sets of equa- tions and inequalities, and the optimization of cost functions.

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 topic of the research reported here is direct user participation in the task-based development of interactive software systems.

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.

Shine a spotlight into the deep learning ';black box'.

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.