Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different approaches to modeling safety critical systems. Important notions of time, synchrony, redundancy and replication are examined using assertional reasoning, temporal logic and the logics of knowledge. The volume will be invaluable to researchers in formal modeling of concurrency, real-time and fault-tolerance, and to software engineers in safety-critical applications.

Computer architecture. Operating systems --- 681.3*B0 --- 681.3*D4 --- Computerwetenschap--?*B0 --- Operating systems--See also {681.3*C} --- 681.3*D4 Operating systems--See also {681.3*C} --- Software engineering. --- Special Purpose and Application-Based Systems. --- Computer software engineering --- Engineering

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Real-time data processing --- Fault-tolerant computing --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Logic design. --- Microprocessors. --- Special purpose computers. --- Architecture, Computer. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Programming Languages, Compilers, Interpreters. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Processor Architectures. --- Special Purpose and Application-Based Systems. --- Logic Design. --- Computer network architectures. --- Software engineering. --- Computer software engineering --- Engineering --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Informatics --- Science --- Special purpose computers --- Computers --- Minicomputers --- Computer science logic --- Logic, Symbolic and mathematical --- Architecture, Computer --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Real-time data processing - Congresses --- Fault-tolerant computing - Congresses

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming (Electronic computers) - Congresses. --- Computers - Congresses.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

SEAFOOD for Thought Headline-grabbing though it may be, the software industry's large-scale allo- tion of work to developing countries has not so far generated much technical analysis. Attention is usually limited to the possible political and economic c- sequences, in particular the fears of loss of employment in the West. The aim of the present volume is di?erent. We recognize that o?shore development is here to stay, and not just a result of cost considerations. It is - more accurately - a form of distributed development, relying on advances in communications to let the software industry, in our globalizedworld,bene?t from the wide distribution of human talent. But it is also the source of a new set of challenges, to which accepted software engineering principles and techniques have not completely prepared us. Producing high-quality software on time and within budget is hard enough when the QA team is across the aisle from the core developers, and the customers across the street; what then when the bulk of the development team is across an ocean or two? The ?rst SEAFOOD - Software Engineering Advances For Outsourced and 1 O?shore Development - conference (prompted by an earlier article ) was an - tempt not only to bring software engineering to outsourcing but also to bring outsourcing into the collective consciousness of the software engineering c- munity. This is bene?cial to both sides: successful outsourcing requires strong softwareengineering guidance, but researchin the ?eld must for its part account forthenewworldofsoftwaredevelopment.

Office management --- Computer. Automation --- informatica --- maatschappij --- bedrijfsadministratie --- software engineering --- informatica management

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Today's software production is increasingly distributed. Gone are the days of one-company,one-siteprojects;mostindustrialdevelopmentsinvolveteamssplit over locations, countries, and cultures. This distribution poses new challenges, for example, how to develop the software requirements speci?cation, and how to manage the project. These challenges are formidable; many failures have been reportedinoutsourcedanddistributedprojects,oftenduenottolackoftechnical expertise, but to di?culties in management and communication. SEAFOOD 2010, the fourth international conference on Software Engine- ing Advances For Outsourced and O?shore Development, was held in Peterhof (SaintPetersburg),Russia,on17-18June2010.SEAFOOD2010providedan- portunity for participants from academia and industry to confront experiences, ideas and proposals. The submissions received covered a wide range of topics, from country-wide reports from Russia and Argentina to global projectmana- ment. This volume includes 8 papers (4 full papers and 4 short papers) from the conference, selected after review by the Program Committee. The program also included two keynote presentations and the extended abstracts are included in this volume: A Smarter Way: The Software Engineering Method and Theory Initiative (Semat) , by Ivar Jacobson, and The Consortium for IT Software Quality , by Richard Mark Soley and Bill Curtis. Many people contributed to SEAFOOD 2010. We thank the Program C- mittee and the external reviewers for their excellent work in reviewing and - lecting the papers. The role of Andrei Voronkov's EasyChair conference system is gratefully acknowledged.

Sociology --- Production management --- Computer science --- Programming --- Computer architecture. Operating systems --- Computer. Automation --- MIS (management informatie systeem) --- computers --- informatica --- computerbesturingssystemen --- planning --- programmeren (informatica) --- software engineering --- informatica management --- computerkunde