SIGSOFT '96
Author: Symposium on the Foundations of Software Engineering
Publisher:
Published: 1996
Total Pages: 204
ISBN-13:
DOWNLOAD EBOOKPosts
Software Architectures
Author: Leonor Barroca
Publisher: Springer Science & Business Media
Published: 2011-06-27
Total Pages: 280
ISBN-13: 144710367X
DOWNLOAD EBOOKThis 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.
Metalevel Architectures and Separation of Crosscutting Concerns
Author: Akinori Yonezawa
Publisher: Springer
Published: 2003-06-30
Total Pages: 293
ISBN-13: 3540454292
DOWNLOAD EBOOKThis 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.
Formal Methods for Open Object-Based Distributed Systems
Author: Paolo Ciancarini
Publisher: Springer
Published: 2013-11-11
Total Pages: 437
ISBN-13: 0387355626
DOWNLOAD EBOOKFormal Methods for Open Object-Based Distributed Systems presents the leading edge in several related fields, specifically object-orientated programming, open distributed systems and formal methods for object-oriented systems. With increased support within industry regarding these areas, this book captures the most up-to-date information on the subject. Many topics are discussed, including the following important areas: object-oriented design and programming; formal specification of distributed systems; open distributed platforms; types, interfaces and behaviour; formalisation of object-oriented methods. This volume comprises the proceedings of the International Workshop on Formal Methods for Open Object-based Distributed Systems (FMOODS), sponsored by the International Federation for Information Processing (IFIP) which was held in Florence, Italy, in February 1999. Formal Methods for Open Object-Based Distributed Systems is suitable as a secondary text for graduate-level courses in computer science and telecommunications, and as a reference for researchers and practitioners in industry, commerce and government.
Industrial-Strength Formal Methods in Practice
Author: Michael G. Hinchey
Publisher: Springer Science & Business Media
Published: 2012-12-06
Total Pages: 410
ISBN-13: 1447105230
DOWNLOAD EBOOKIndustrial 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.
Software Architecture
Author: Patrick Donohoe
Publisher: Springer Science & Business Media
Published: 1999-02-28
Total Pages: 624
ISBN-13: 9780792384533
DOWNLOAD EBOOKSoftware 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.
Foundations of Component-Based Systems
Author: Gary T. Leavens
Publisher: Cambridge University Press
Published: 2000-03-28
Total Pages: 326
ISBN-13: 9780521771641
DOWNLOAD EBOOKArticles, originally published in 2000, by experts including theoretical frameworks and models plus case studies and findings.
Formal Methods for Software Architectures
Author: Marco Bernardo
Publisher: Springer
Published: 2003-11-03
Total Pages: 293
ISBN-13: 3540398007
DOWNLOAD EBOOKIn the past ten years or so, software architecture has emerged as a central notion in the development of complex software systems. Software architecture is now accepted in the software engineering research and development community as a manageable and meaningful abstraction of the system under development and is applied throughout the software development life cycle, from requirements analysis and validation, to design and down to code and execution level. This book presents the tutorial lectures given by leading authorities at the Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2003, held in Bertinoro, Italy, in September 2003. The book is ideally suited for advanced courses on software architecture as well as for ongoing education of software engineers using formal methods in their day-to-day professional work.
Software Architecture
Author: Flavio Oquendo
Publisher: Springer Science & Business Media
Published: 2004-05-11
Total Pages: 289
ISBN-13: 3540220003
DOWNLOAD EBOOKThis book constitutes the refereed proceedings of the First European Workshop on Software Architecture, EWSA 2004, held in St Andrews, Scotland, UK in May 2004 in conjunction with ICSE 2004. The 9 revised full research papers, 4 revised full experience papers, and 6 revised position papers presented together with 5 invited presentations on ongoing European projects on software architectures were carefully reviewed and selected from 48 submissions. All current aspects of software architectures are addressed ranging from foundational and methodological issues to application issues of practical relevance.
Advances in Distributed Systems
Author: Sacha Krakowiak
Publisher: Springer Science & Business Media
Published: 2000-02-23
Total Pages: 517
ISBN-13: 354067196X
DOWNLOAD EBOOKThis 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.
