One semester, Jr/Sr/Grad course in systems analysis and design, or capstone course in MIS departments where students work on a project or extensive case. McLeod and Jordan's text is ideal for courses where student teams develop and implement software systems in real organizations, or where students develop software to solve problems in written cases. The text is organized into nine chapters and eight supporting technical modules: the chapters provide a unique, thorough coverage of the entire system development life cycle (SDLC), and a strong foundation in systems concepts and systems methodologies, while the technical modules provide the tools students need to implement and apply the concepts. The goal of the text is to provide a strong foundation of the concepts, with emphasis on the later phases of actual implementation and design, providing the methodologies and tools necessary to complete a systems project in a real organization, including installation of operational software. It has been successfully class-tested by over 400 students.

Real-Time Systems Development introduces computing students and professional programmers to the development of software for real-time applications. Based on the academic and commercial experience of the author, the book is an ideal companion to final year undergraduate options or MSc modules in the area of real-time systems design and implementation. Assuming a certain level of general systems design and programming experience, this text will extend students’ knowledge and skills into an area of computing which has increasing relevance in a modern world of telecommunications and ‘intelligent’ equipment using embedded microcontrollers. This book takes a broad, practical approach in discussing real-time systems. It covers topics such as basic input and output; cyclic executives for bare hardware; finite state machines; task communication and synchronization; input/output interfaces; structured design for real-time systems; designing for multitasking; UML for real-time systems; object oriented approach to real-time systems; selecting languages for RTS development; Linux device drivers; and hardware/software co-design. Programming examples using GNU/Linux are included, along with a supporting website containing slides; solutions to problems; and software examples. This book will appeal to advanced undergraduate Computer Science students; MSc students; and, undergraduate software engineering and electronic engineering students. * Concise treatment delivers material in manageable sections* Includes handy glossary, references and practical exercises based on familiar scenarios* Supporting website contains slides, solutions to problems and software examples

This book is a result of ISD2000-The Ninth International Conference on Infor mation Systems Development: Methods and Tools, Theory and Practice, held August 14-16, in Kristiansand, Norway. The ISD conference has its roots in the first Polish Scandinavian Seminar on Current Trends in Information Systems Development Method ologies, held in Gdansk, Poland in 1988. This year, as the conference carries into the new millennium this fine tradition, it was fitting that it returned to Scandinavia. Velkommen tilbake! Next year, ISD crosses the North Sea and in the traditions of the Vikings, invades England. Like every ISD conference, ISD2000 gave participants an opportunity to express ideas on the current state of the art in information systems development, and to discuss and exchange views about new methods, tools and applications. This is particularly important now, since the field of ISD has seen rapid, and often bewildering, changes. To quote a Chinese proverb, we are indeed cursed, or blessed, depending on how we choose to look at it, to be "living in interesting times".

A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.

This work provides a comprehensive overview of research and practical issues relating to component-based development information systems (CBIS). Spanning the organizational, developmental, and technical aspects of the subject, the original research included here provides fresh insights into successful CBIS technology and application. Part I covers component-based development methodologies and system architectures. Part II analyzes different aspects of managing component-based development. Part III investigates component-based development versus commercial off-the-shelf products (COTS), including the selection and trading of COTS products.

Attacks against computer systems can cause considerable economic or physical damage. High-quality development of security-critical systems is difficult, mainly because of the conflict between development costs and verifiable correctness. Jürjens presents the UML extension UMLsec for secure systems development. It uses the standard UML extension mechanisms, and can be employed to evaluate UML specifications for vulnerabilities using a formal semantics of a simplified fragment of UML. Established rules of security engineering can be encapsulated and hence made available even to developers who are not specialists in security. As one example, Jürjens uncovers a flaw in the Common Electronic Purse Specification, and proposes and verifies a correction. With a clear separation between the general description of his approach and its mathematical foundations, the book is ideally suited both for researchers and graduate students in UML or formal methods and security, and for advanced professionals writing critical applications.