springer london mai 1996 (8 résultats)

Taschenbuch. Etat : Neu. Neuware -B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 244 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics. 244 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Delphi is a new Windows software development environment from Borland. Released in 1995, it has quickly built up an excellent reputation as one of the best Windows software development tools.John Cowell shows how to program in Delphi using various tools. He provides lots of examples and illustrations and describes various database specific tools included with the Delphi package. The book shows how to use the Borland database engine along with other database formats (including Microsoft's Access). There are a number of chapters which cover the object-oriented aspects of Pascal, and advanced programming techniques such as drag-and-drop, DDE, OLE, and the creation of on-line help systems are also looked at. New users, as well as current Visual Basic users wanting to get up to speed on Delphi, will find this clear and informative book provides all the information they need to develop Windows applications quickly, competently, and easily. 196 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -If you are developing software either as a professional programmer, a student, or simply for fun then it is very likely that you will be working in a Windows environment. If you are, and you are looking to build your own Windows applications, you will find Visual Basic provides an easy and effective means of doing so. This book is written specifically to help users get up and running fast on Visual Basic and focusses on how to develop useful programs quickly and effectively. If you are an undergraduate wanting a simple way to program applications, a professional programmer who needs a broad introduction to Visual Basic 3, or even an amateur programmer interested in building Windows applications, then this book will tell you all you need to know. 200 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Lotus Notes is one of the most successful and versatile groupware products on the market today and is used widely in both large and small organisations. Transforming Organisations Through Groupware - Lotus Notes in Action contains a selection of carefully chosen case studies which illustrate the implementational, organisational and commercial consequences of using Lotus Notes. These case studies have been chosen for their international appeal and, unlike other books on Lotus Notes, concentrate on the added value that can be gained by using Notes - rather than on the technical aspects of how to make the software work. 216 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Delphi is a new Windows software development environment from Borland. Released in 1995, it has quickly built up an excellent reputation as one of the best Windows software development tools.John Cowell shows how to program in Delphi using various tools. He provides lots of examples and illustrations and describes various database specific tools included with the Delphi package. The book shows how to use the Borland database engine along with other database formats (including Microsoft's Access). There are a number of chapters which cover the object-oriented aspects of Pascal, and advanced programming techniques such as drag-and-drop, DDE, OLE, and the creation of on-line help systems are also looked at. New users, as well as current Visual Basic users wanting to get up to speed on Delphi, will find this clear and informative book provides all the information they need to develop Windows applications quickly, competently, and easily.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 196 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -If you are developing software either as a professional programmer, a student, or simply for fun then it is very likely that you will be working in a Windows environment. If you are, and you are looking to build your own Windows applications, you will find Visual Basic provides an easy and effective means of doing so. This book is written specifically to help users get up and running fast on Visual Basic and focusses on how to develop useful programs quickly and effectively. If you are an undergraduate wanting a simple way to program applications, a professional programmer who needs a broad introduction to Visual Basic 3, or even an amateur programmer interested in building Windows applications, then this book will tell you all you need to know.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 200 pp. Englisch.

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Lotus Notes is one of the most successful and versatile groupware products on the market today and is used widely in both large and small organisations. Transforming Organisations Through Groupware - Lotus Notes in Action contains a selection of carefully chosen case studies which illustrate the implementational, organisational and commercial consequences of using Lotus Notes. These case studies have been chosen for their international appeal and, unlike other books on Lotus Notes, concentrate on the added value that can be gained by using Notes - rather than on the technical aspects of how to make the software work.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch.