Asia-Pacific Software Engineering Conference, 1995


Book Description

Annotation The 55 papers cover testing, requirements modelling, concurrency, object-oriented development, software process, distributed systems, development environments, formal methods, quality assurance and reliability, reuse, specification, maintenance, information systems, and reasoning and verification. The keynote addresses discuss software systems engineering from domain analysis via requirements capture to software architectures; and communication, collaboration, and cooperation in software development. The third keynote is not included in the proceedings. No subject index. Annotation copyright by Book News, Inc., Portland, OR.




Software Engineering - ESEC '95


Book Description

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.




1998 Asia Pacific Software Engineering Conference


Book Description

Partial Contents: Architecture Framework & Components; Formal Methods; Metrics & Quality Assurance; Software Design Methodology; Validation & Verification; UML; Software Development Environment; Object- Oriented Techniques; Distributed & Mobil Systems; User Interface




Proceedings


Book Description




OOIS’96


Book Description

This volume contains the papers presented at the Third International Conference on Object Oriented Information Systems (00lS'96) which was held at South Bank University, London. The keynote addresses, by Professor Colette Roland and Mr Ian Graham, are also included. The acceptance rate for papers was around 47%. The papers for the Industry Day were invited papers. The keynote paper by Professor Roland analyses the challenges in object modelling, particularly the impact of requirements engineering for conceptual modelling. She suggests innovative research perspectives to enhance and extend object oriented approaches in order to deal with the emerging area of requirements engineering. The keynote paper presented by Mr. Graham focuses on the problems and solutions for adopting use cases. In his paper, Graham illustrates the theoretical issues and practical problems of use cases, and highlights them using examples. The papers included in this volume cover different aspects of object modelling, object oriented software development, object databases, and interoperability. In the modelling session, Ram, et al. outline an extended object model to tackle the problems of capturing complex requirements of office information systems. Simons' paper concentrates on core object modelling concepts and presents a mathematical theory of class.




IFM’99


Book Description

Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.




Method Engineering


Book Description

Method Engineering focuses on the design, construction and evaluation of methods, techniques and support tools for information systems development It addresses a number of important topics, including: method representation formalisms; meta-modelling; situational methods; contingency approaches; system development practices of method engineering; terminology and reference models; ontologies; usability and experience reports; and organisational support and impact.




Formal Methods and Software Engineering


Book Description

This book constitutes the refereed proceedings of the 4th International Conference on Formal Engineering methods, ICFEM 2002, held in Shanghai, China, in October 2002. The 43 revised full papers and 16 revised short papers presented together with 5 invited contributions were carefully reviewed and selected from a total of 108 submissions. The papers are organized in topical sections on component engineering and software architecture, method integration, specification techniques and languages, tools and environments, refinement, applications, validation and verification, UML, and semantics.




Software Architecture


Book Description

Welcome to the European Conference on Software Architecture (ECSA), which is the premier European software engineering conference. ECSA provides researchers and practitioners with a platform to present and discuss the most recent, innovative, and significant findings and experiences in the field of software architecture research and practice. The fourth edition of ECSA was built upon a history of a successful series of European workshops on software architecture held from 2004 through 2006 and a series of European software architecture conferences from 2007 through 2009. The last ECSA was merged with the 8th Working IEEE/IFIP Conference on Software Architecture (WICSA). Apart from the traditional technical program consisting of keynote talks, a main - search track, and a poster session, the scope of the ECSA 2010 was broadened to incorporate other tracks such as an industry track, doctoral symposium track, and a tool demonstration track. In addition, we also offered several workshops and tutorials on diverse topics related to software architecture. We received more than 100 submissions in the three main categories: full research and experience papers, emerging research papers, and research challenges papers. The conference attracted papers (co-)authored by researchers, practitioners, and academics from 30 countries (Algeria, Australia, Austria, Belgium, Brazil, Canada, Chile, China, Colombia, Czech Republic, Denmark, Finland, France, Germany, Hong Kong, I- land, India, Ireland, Israel, Italy, The Netherlands, Poland, Portugal, Romania, Spain, Sweden, Switzerland, Tunisia, United Kingdom, United States).