Page 1
Page 1
Web Engineering ; 7th International Conference, ICWE 2007, Como, Italy, July 16-20, 2007, Proceedings
Contains the proceedings of the seventh International Conference on Web Engineering (ICWE2007), the Call for Papers attracted a high number of submissions with a verygoodcoverageof all the different facets of the Web engineering discipline. The 39 selected submissions comprise 26 full papers and 13 short papers they cover the di?erent aspects highlighted in the Call for Papers and represent well the many Web engineering research groups active worldwide. The program spans from service-based systems to testing and analysis, from quality and metrics to models, and from semantic issues and Web 2.0 to application development techniques.
Web Engineering : Modelling and Implementing Web Applications
Modelling and Implementing Web Applications presents the state of the art approaches for obtaining a correct and complete Web software product from conceptual schemas, represented via well-known design notations. Describing mature and consolidated approaches to developing complex applications, this edited volume is divided into three parts and covers the challenges web application developers face; design issues for web applications; and how to measure and evaluate web applications in a consistent way.
Validated Designs for Object-oriented Systems
Describes an object-oriented design approach that combines the benefits of abstract modelling with the analytic power of formal methods, to give designs that can be rigorously validated & assured with automated support. Aimed at software architects, designers & developers as well as computer scientists, no prior knowledge of formal methods is assumed. The elements of functional modelling are introduced using numerous examples & exercises, industrial case studies & experience reports. Industry-strength tools support the text.
Use Case Driven Object Modeling with UML : Theory and Practice
Use Case Driven Object Modeling with UML: Theory and Practice shows how to drive an object-oriented software design from use case all the way through coding and testing, based on the minimalist, UML-based ICONIX process. In addition to a comprehensive explanation of the foundations of the approach, the book makes extensive use of examples and provides exercises at the back of each chapter.
UML Modeling Languages and Applications ; <> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers
This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during the ?rst three days of the conference(fromOctober10to12). Followingthetraditionofprevious UML conferences, UML 2004workshopsprovidedacollaborativeforumforgroups of (typically 15 to 30) participants to exchange recent or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate e?orts between representatives of a technical community. Ten workshops were held, covering a variety of hot topics, which have been covered in the workshop - ports contained in this volume.
UML for SOC Design
The last several years have seen significant progress on two related frontsin hardware and software design for electronic systems. The first is the rapidgrowth in the design of complex System-on-Chip devices (SoC). The secondis progress in adding capabilities to the Unified Modeling Language (UML) tobetter support the design of real-time and embedded systems, culminating in theUML 2.0 specification which is nearing final approval. It is thus an excellenttime to evaluate the combination of these two topics into a unified theme: UMLfor SoC design.
Trends in Enterprise Application Architecture ; 2nd International Conference, TEAA 2006, Berlin, Germany, November 29 - Dezember 1, 2006, Revised Selcted Papers
Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, data integration, enterprise grid computing, load balancing, and enterprise component platforms
Trends in Computer Aided Innovation ; Second IFIP Working Conference on Computer Aided Innovation, October 8-9 2007, Michigan, USA
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Towards a Unified Modeling and Knowledge-Representation based on Lattice Theory : Computational Intelligence and Soft Computing Applications
This research monograph proposes a unified, cross-fertilizing approach for knowledge-representation and modeling based on lattice theory. The emphasis is on clustering, classification, and regression applications.
Theory and Practice of Model Transformations ; 1st International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings
This book includes different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.
The Transfer and Diffusion of Information Technology for Organizational Resilience ; IFIP TC8 WG 8.6 International Working Conference, June 7-10, 2006, Galway, Ireland
The Transfer and Diffusion of Information Technology for Organizational Reilience addresses the challenges faced by many organizations today as they strive to be resilient in a turbulent economic and political environment. Resilience is considered in the context of the ideas provided by Everett Rogers in his textbook Diffusion of Innovations, where he provided a framework for evaluating the transfer and diffusion of IT. This volume contains the edited proceedings of the Working Conference on the Transfer and Diffusion of IT for Organizational Resilience, which was sponsored by the International Federation for Information Processing (IFIP).
The Making of Information Systems : Software Engineering and Management in a Globalized World
"Kurbel … has succeeded in writing a book that collects a wealth of information on software engineering without being a traditional software engineering book. Nearly all aspects of the practice of software engineering are presented here. … This book is useful for software developers and managers who need an updated, comprehensive view of the spectrum of software engineering methods and is a good reference for a graduate course on software engineering and information systems. Summing Up: Highly recommended. Upper-division undergraduate through professional collections."
Testing of Communicating Systems ; Vol. 3502 ; 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings
This book constitutes the refereed proceedings of the 17th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2005, held in Montreal, Canada in May/June 2005. The 24 revised full papers presented together with the extended abstract of a keynote talk were carefully reviewed and selected from initially 62 submissions. The papers address all current issues in testing communicating systems, ranging from classical telecommunication issues to general software testing.
Task Models and Diagrams for User Interface Design ; 6th International Workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007, Proceedings
This book constitutes the refereed proceedings of the 6th International Workshop on Task Models and Diagrams for User Interface Design, TAMODIA 2007, held in Toulouse, France, in November 2007.
System Analysis and Modeling : Language Profiles; 5th International Workshop, SAM 2006, Kaiserslautern, Germany, May 31 - June 2, 2006, Revised Selected Papers
Constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, and language implementation.
Software Product Lines : Research Issues in Engineering and Management
Between July 1999 and June 2005 a group of European companies, research institutes, and universities executed the EUREKA-ITEA projects ESAPS, CAFÉ, and FAMILIES on the topic of product line engineering. The projects originated from the need of the industry to improve software engineering performance by organizing product development in product lines. The results obtained within the projects have been implemented in several large industries (e.g., automotive, e-business, medical systems, and mobile phones). They involve a radical shift in software construction and production. The most important research results of the projects are collected in this book.
Software Process and Product Measurement ; International Conference, IWSM-Mensura 2007, Palma de Mallorca, Spain, November 5-8, 2007. Revised Papers
Deals with aspects of software measurement like function-points measurement, effort and cost estimates, prediction, industrial experiences in software measurement, planning and implementing measurement, measurement-based software process improvement, best practices in software measurement, usability and user interaction measurement, measurement of open source projects, teaching and learning software measurement as well as new trends and ontologies for software measurement.
Software Engineering Techniques Applied to Agricultural Systems : An Object-Oriented and UML Approach
The book is divided in two parts: The first part presents concepts of the object-oriented paradigm and the UML notation of these concepts, and the second part provides a number of examples of applications that use the material presented in the first part. The examples presented illustrate the techniques discussed, focusing on how to construct better models using objects and UML diagrams. More advanced concepts such as distributed systems and examples of how to build these systems are presented in the last chapter of the book. The book presents a step-by-step approach for modeling agricultural systems, starting with a conceptual diagram representing elements of the system and their relationships. Furthermore, diagrams such as sequential and collaboration diagrams are used to explain the dynamic and static aspects of the software system.
Software Engineering Techniques : Design for Quality
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Software Engineering 2 : Specification of Systems and Languages
volume 2 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.
