Sebanyak 564 item atau buku ditemukan

Software Engineering - ESEC '95

5th European Software Engineering Conference, Sitges, Spain, September 25 - 28, 1995. Proceedings

This book constitutes the proceedings of the 5th European Software Engineering Conference, ESEC '95, held in Sitges near Barcelona, Spain, in September 1995. The ESEC conferences are the premier European platform for the discussion of academic research and industrial use of software engineering technology. The 29 revised full papers were carefully selected from more than 150 submissions and address all current aspects of relevance. Among the topics covered are business process (re-)engineering, real-time, software metrics, concurrency, version and configuration management, formal methods, design process, program analysis, software quality, and object-oriented software development.

5th European Software Engineering Conference, Sitges, Spain, September 25 -
28, 1995. Proceedings Wilhelm Schäfer, Pere Botella. call this class Any. Clearly,
a multi-rooted class collection can be made single-rooted in a straightforward ...

Formal Methods and Software Engineering

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003. The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

5th International Conference on Formal Engineering Methods, ICFEM 2003,
Singapore, November 5-7, 2003, ... Simulink is a de-facto standard in control
systems engineering and UML is the subject of a significant standardisation effort
.

Collaborative Software Engineering

Collaboration among individuals – from users to developers – is central to modern software engineering. It takes many forms: joint activity to solve common problems, negotiation to resolve conflicts, creation of shared definitions, and both social and technical perspectives impacting all software development activity. The difficulties of collaboration are also well documented. The grand challenge is not only to ensure that developers in a team deliver effectively as individuals, but that the whole team delivers more than just the sum of its parts. The editors of this book have assembled an impressive selection of authors, who have contributed to an authoritative body of work tackling a wide range of issues in the field of collaborative software engineering. The resulting volume is divided into four parts, preceded by a general editorial chapter providing a more detailed review of the domain of collaborative software engineering. Part 1 is on "Characterizing Collaborative Software Engineering", Part 2 examines various "Tools and Techniques", Part 3 addresses organizational issues, and finally Part 4 contains four examples of "Emerging Issues in Collaborative Software Engineering". As a result, this book delivers a comprehensive state-of-the-art overview and empirical results for researchers in academia and industry in areas like software process management, empirical software engineering, and global software development. Practitioners working in this area will also appreciate the detailed descriptions and reports which can often be used as guidelines to improve their daily work.

Jim Whitehead, Ivan Mistrík, John Grundy, and André van der Hoek Abstract
Collaboration is a central activity in software engineering, as all but the most
trivial projects involve multiple engineers working together. Hence,
understanding ...

A Concise Introduction to Software Engineering

An introductory course on Software Engineering remains one of the hardest subjects to teach largely because of the wide range of topics the area enc- passes. I have believed for some time that we often tend to teach too many concepts and topics in an introductory course resulting in shallow knowledge and little insight on application of these concepts. And Software Engineering is ?nally about application of concepts to e?ciently engineer good software solutions. Goals I believe that an introductory course on Software Engineering should focus on imparting to students the knowledge and skills that are needed to successfully execute a commercial project of a few person-months e?ort while employing proper practices and techniques. It is worth pointing out that a vast majority of the projects executed in the industry today fall in this scope—executed by a small team over a few months. I also believe that by carefully selecting the concepts and topics, we can, in the course of a semester, achieve this. This is the motivation of this book. The goal of this book is to introduce to the students a limited number of concepts and practices which will achieve the following two objectives: – Teach the student the skills needed to execute a smallish commercial project.

Now that we have a better understanding of the problem domain that software
engineering deals with, let us orient our discussion to software engineering itself.
Software engineering is defined as the systematic approach to the development,
 ...

The Future of Software Engineering

This book focuses on defining the achievements of software engineering in the past decades and showcasing visions for the future. It features a collection of articles by some of the most prominent researchers and technologists who have shaped the field: Barry Boehm, Manfred Broy, Patrick Cousot, Erich Gamma, Yuri Gurevich, Tony Hoare, Michael A. Jackson, Rustan Leino, David L. Parnas, Dieter Rombach, Joseph Sifakis, Niklaus Wirth, Pamela Zave, and Andreas Zeller. The contributed articles reflect the authors‘ individual views on what constitutes the most important issues facing software development. Both research- and technology-oriented contributions are included. The book provides at the same time a record of a symposium held at ETH Zurich on the occasion of Bertrand Meyer‘s 60th birthday.

As in other engineering professions, software engineers rely on tools. Such tools
can analyze program texts and design specifications more automatically and in
more detail than ever before. While many tools today are applied to find new ...

Models in Software Engineering

Workshops and Symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009. Reports and Revised Selected Papers

Domain Specific Modeling Languages (DSMLs) are becoming a common-place
for engineering software systems of a particular domain. Currently, the study of
DSMLs is mostly dedicated to engineering languages for specification of
functional ...

Search Based Software Engineering

Third International Symposium, SSBSE 2011, Szeged, Hungary, September 10-12, 2011,Proceedings

This book constitutes the refereed proceedings of the Third International Symposium on Search Based Software Engineering, SSBSE 2011 held in Szeged, Hungary in collocation with ESEC/FSE 2011. The 18 revised full papers presented together with two invited contributions and abstracts of eight poster presentations were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on foundations of SSBSE; concurrency and models; requirements and planning; software testing; and comprehension, transformation and scalability.

Ten Years of Search Based Software Engineering: A Bibliometric Analysis
Fabrício Gomes de Freitas and Jerffeson Teixeira de Souza Optimization in
Software Engineering Group (GOES.UECE) State University of Ceará, Avenue
Paranjana, ...

Software Engineering for Manufacturing Systems

Methods and CASE tools

Software has become a decisive cost and time factor in regard to developing and establishing manufacturing systems and setting them into operation. In addition, software determines the availability, reliability as well as functionality of manufacturing units. Software Engineering for Manufacturing Systems considers the methods and procedures required to deal with problems in the software engineering of control technology for manufacturing systems. Significantly, the following topics are addressed: * definitions and requirements of software for control technology * system design, describing forms of control software * CASE tools for the generation of a code * configuration, adaption of standard software variants, and re-usability of software * and man-machine interface. It contains the selected proceedings of the International Conference on Software Engineering and Case Tools for Control Technology of Manufacturing Systems, sponsored by the IFIP and held in Germany, in March 1996.

1 Software Engineering for Control Technology - Definitions and Requirements
Storr, A. Prof. Dr. -Ing. Institutfur Steuerungstechnik der Werkzeugmaschinen und
Fertigungseinrichtungen, Seidenstr. 36, 701 74 Stuttgart/Germany Tel: 07 11/12 ...

Software Engineering 2

Specification of Systems and Languages

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams), Petri nets, live sequence charts, statecharts, and temporal logics, including the duration calculus. Finally, the book presents techniques for interpreter and compiler development of functional, imperative, modular and parallel programming languages. This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.

9.5.4 System Diagram Languages We started with a systems view formulated in
terms of conventional (to wit: mechanical) engineering diagrams. And we
supplied "ourselves" , being in software engineering, data structure diagrams.

Agile Software Engineering

This textbook presents the current issues in software development methods. Special emphasis is placed on agile software development, being one of the mainstream paradigms for the management of software projects. Features and topics: (1) Examines the Agile manifesto and its implications. (2) Discusses the delivery of software projects on time and within budgets by using agile software development environment. (3) Considers the customer role in agile software development environments. (4) Looks at measures to control and monitor the software development process. (5) Offers Agile software development processes from a cognitive perspective. (6) Explores the concept of agility from the management perspective. (7) Investigates the impact of agility on the organization level. (8) The wider context of each topic to software engineering is emphasized. This comprehensive and concise introduction offers a reader-friendly approach to the topic. Written for advanced undergraduates, this clear foundation course will also be valuable for practitioners.

Addison-Wesley, Reading, MA Beck K, Andres C (2005) Extreme programming
explained: embrace change, 2nd ed. AddisonWesley, Reading, MA Boehm B (
1981) Software engineering economics. Prentice-Hall, Englewood Cliffs, NJ
Boehm ...