SIGSOFT '96

SIGSOFT '96
Author: Symposium on the Foundations of Software Engineering
Publisher:
Total Pages: 204
Release: 1996
Genre: Computer science
ISBN:

SIGSOFT '96

SIGSOFT '96
Author: Symposium on the Foundations of Software Engineering (4, 1996, San Francisco, Calif.)
Publisher:
Total Pages: 190
Release: 1996
Genre:
ISBN:

Software Architectures

Software Architectures
Author: Leonor Barroca
Publisher: Springer Science & Business Media
Total Pages: 280
Release: 2011-06-27
Genre: Computers
ISBN: 144710367X

This book provides a unique overview of different approaches to developing software that is flexible, adaptable and easy to maintain and reuse. It covers the most recent advances in software architecture research. In addition, it provides the reader with scalable solutions for engineering and reengineering business processes, including architectural components for business applications, framework design for Internet distributed business applications, and architectural standards for enterprise systems.

Software Architecture

Software Architecture
Author: Patrick Donohoe
Publisher: Springer Science & Business Media
Total Pages: 624
Release: 1999-02-28
Genre: Computers
ISBN: 9780792384533

Software architecture is a primary factor in the creation and evolution of virtually all products involving software. It is a topic of major interest in the research community where pronusmg formalisms, processes, and technologies are under development. Architecture is also of major interest in industry because it is recognized as a significant leverage point for manipulating such basic development factors as cost, quality, and interval. Its importance is attested to by the fact that there are several international workshop series as well as major conference sessions devoted to it. The First Working IFIP Conference on Software Architecture (WICSAl) provided a focused and dedicated forum for the international software architecture community to unify and coordinate its effort to advance the state of practice and research. WICSA 1 was organized to facilitate information exchange between practising software architects and software architecture researchers. The conference was held in San Antonio, Texas, USA, from February 22nd to February 24th, 1999; it was the initiating event for the new IFIP TC-2 Working Group on Software Architecture. This proceedings document contains the papers accepted for the conference. The papers in this volume comprise both experience reports and technical papers. The proceedings reflect the structure of the conference and are divided into six sections corresponding to the working groups established for the conference.

Advances in Distributed Systems

Advances in Distributed Systems
Author: Sacha Krakowiak
Publisher: Springer Science & Business Media
Total Pages: 517
Release: 2000-02-23
Genre: Computers
ISBN: 354067196X

This book documents the main results developed in the course of the European project "Basic Research on Advanced Distributed Computing: From Algorithms to Systems (BROADCAST)". Eight major European research groups in distributed computing cooporated on this projects, from 1992 to 1999. The 21 thoroughly cross-reviewed final full papers present the state-of-the art results on distributed systems in a coherent way. The book is divided in parts on distributed algorithms, systems architecture, applications support, and case studies.

Industrial-Strength Formal Methods in Practice

Industrial-Strength Formal Methods in Practice
Author: Michael G. Hinchey
Publisher: Springer Science & Business Media
Total Pages: 410
Release: 2012-12-06
Genre: Computers
ISBN: 1447105230

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. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.

Metalevel Architectures and Separation of Crosscutting Concerns

Metalevel Architectures and Separation of Crosscutting Concerns
Author: Akinori Yonezawa
Publisher: Springer
Total Pages: 293
Release: 2003-06-30
Genre: Computers
ISBN: 3540454292

This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001. Metalevel architectures and re?ection have drawn the attention of researchers and practitioners throughout computer science. Re?ective and metalevel te- niques are being used to address real-world problems in such areas as: progr- ming languages, operating systems, databases, distributed computing, expert systems and web computing. Separation of concerns has been a guiding principle of software engineering for nearly 30 years, but its known bene?ts are seldom fully achieved in practice. This is primarily because traditional mechanisms are not powerful enough to handle many kinds of concerns that occur in practice. Over the last 10 years, to overcome the limitations of traditional frameworks, many researchers, including several from the re?ection community, have proposed new approaches. For the ?rst time, papers on advanced approaches to separation of concerns were explicitly solicited. Following the success of previous conferences such as IMSA’92 in Tokyo, Re?ection’96 in San Francisco, and Re?ection’99 in Saint Malo, we hope that the conference provided an excellent forum for researchers with a broad range of interests in metalevel architectures, re?ective techniques, and separation of concerns in general.

E-commerce and Cultural Values

E-commerce and Cultural Values
Author: Theerasak Thanasankit
Publisher: IGI Global
Total Pages: 299
Release: 2003-01-01
Genre: Business & Economics
ISBN: 1591400937

There is substantial interest in research in developing countries, especially in the use, implementation and development of information technology and systems. Many researchers have been moving toward an understanding of indigenous social and cultural structures and how they influence the use and development of information systems. E-Commerce and Cultural Values addresses these issues and brings together scholars to share their expertise on different aspects of the social side of e-Commerce and information systems and how they impact the cultural values of a society.

Process Technology

Process Technology
Author: Elisabetta Di Nitto
Publisher: Springer Science & Business Media
Total Pages: 136
Release: 2012-12-06
Genre: Computers
ISBN: 1461554411

Process Technology brings together in one place important contributions and up-to-date research results in this fast moving area. Process Technology serves as an excellent reference, providing insight into some of the most challenging research issues in the field.