الصفحة 7
الصفحة 7
Engineering theories of software intensive systems : Theory, algorithms, software, and applications
Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.
Engineering Societies in the Agents World VII ; 7th International Workshop, ESAW 2006 Dublin, Ireland, September 6-8, 2006 Revised Selected and Invited Papers
It cover main themes: Engineering multi-agent systems, Methodologies for analysis, design, development and verification of agent societies, Interaction and coordination in agent societies, Autonomic agent societies, Trust in agent societies For
Engineering Societies in the Agents World VI ; 6th International Workshop, ESAW 2005, Kusadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers
ESAW 2005 took place at the Pine Bay Hotel in Kusadasi, Turkey at the end of the October 2005. It was organized as a stand-alone event as were ESAW 2004and ESAW 2003.Following the initial ESAW vision,which wasset in 1999, by the members of the working group on “Communication, Coordination and Collaboration” of Agentlink, ESAW 2005 continued to focus on the engineering of complex software systems in terms of multi-agent societies, especially the social and environmental aspects of such societies.
Engineering Interactive Systems ; EIS 2007 Joint Working Conferences, EHCI 2007, DSV-IS 2007, HCSE 2007, Salamanca, Spain, March 22-24, 2007. Selected Papers
This book constitutes the post-conference proceedings of the WG2.7/13.4 10th Conference on Engineering Human Computer Interaction (EHCI 2007), the WG 13.2 First Conference on Human Centred Software Engineering (HCSE 2007), and the 14th Conference on Design Specification and Verification of Interactive Systems (DSV-IS 2007); jointly held as EIS 2007, the international event on Engineering Interactive Systems, in Salamanca, Spain, in March 2007 - under the auspices of IFIP.
Engineering human computer interaction and interactive systems ; Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers
As its name suggests, the EHCI-DSVIS conference has been a special event, merging two different, although overlapping, research communities: EHCI (Engineering for Human-Computer Interaction) is a conference organized by the IFIP 2.7/13.4 working group, started in 1974 and held every three years since 1989. The group’s activity is the scientific investigation of the relationships among the human factors in computing and software engineering. DSVIS (Design, Specification and Verification of Interactive Systems) is an annual conference started in 1994, and dedicated to the use of formal methods for the design of interactive systems. Of course these two research domains have a lot in common, and are informed by each other’s results.
Embedded Systems Specification and Design Languages : Selected contributions from FDL’07
FDL is the most important European and, probably, worldwide forum to present research results, to exchange experiences, and to learn about new trends in the application of specification and design languages and the associated design and modeling methods and tools for complex, heterogeneous HW/SW embedded systems.
Embedded System Design : Topics, Techniques and Trends; IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine (CA), USA
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components can now be integrated into a single System-on-Chip. This tendency has resulted in a dramatic reduction in the size and cost of embedded systems. As a unique technology, the design of embedded systems is an essential element of many innovations. This book including design methodology, specification and modeling, embedded software and hardware synthesis, networks-on-chip, distributed and networked systems, and system verification and validation. Particular emphaisis is paid to automotive and medical applications. A set of actual case studies and special aspects in embedded system design are included as well.
Embedded Software and Systems ; Vol. 3820 ; 2nd International Conference, ICESS 2005, Xi'an, China, December 16-18, 2005, Proceedings
Welcome to the proceedings of the 2005 International Conference on Emb- ded Software and Systems (ICESS 2005) held in Xian, China, December 16-18, 2005. With the advent of VLSI system level integration and system-on-chip, the center of gravity of the computer industry is now moving from personal c- puting into embedded computing. Embedded software and systems are incre- ingly becoming a key technological component of all kinds of complex technical systems, ranging from vehicles, telephones, aircraft, toys, security systems, to medical diagnostics, weapons, pacemakers, climate control systems, etc. The ICESS 2005 conference provided a premier international forum for - searchers, developers and providers from academia and industry to address all resulting profound challenges; to present and discuss their new ideas, - search results, applications and experience; to improve international com- nication and cooperation; and to promote embedded software and system - dustrialization and wide applications on all aspects of embedded software and systems.
Effective Functional Verification : Principles and Processes
Effective Functional Verification is organized into 4 parts. The first part contains 3 chapters designed appeal to newcomers and experienced people to the field. There is a survey of various verification methodologies and a discussion of them. The second part with 3 chapters is targeted towards people in management and higher up on the experience ladders. New verification engineers reading these chapters learn what is expected and how things work in verification. Some case studies are also presented with analysis of proposed improvements. The last two parts are the result of experience of several years. It goes into how to optimize a verification plan and an environment and how to get results effectively.
ECOOP 2005 - object-oriented programming ; 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
The 19th Annual Meeting of the European Conference on Object-Oriented Programming—ECOOP 2005—took place during the last week of July in Glasgow, Scotland, UK. This volume includes the refereed technical papers p- sented at the conference, and two invited papers. It is traditional to preface a volume of proceedings such as this with a note that emphasizes the importance of the conference in its respective ?eld. Although such self-evaluations should always be taken with a large grain of salt, ECOOP is undisputedly the pre- inent conference on object-orientation outside of the United States. In its turn, object-orientationis today’s principaltechnology not only for programming,but also for design, analysisand speci?cation of softwaresystems.
Dynamics of Flexible Multibody Systems : Rigid Finite Element Method
A new approach is presented for modelling multi-body systems, which constitutes a substantial enhancement of the Rigid Finite Element method. The new approach is based on homogeneous transformations and joint coordinates, and it yields the advantage that equations of motion are automatically generated for systems consisting of alternate rigid and flexible links. Apart from its simple physical interpretation and easy computer implementation, the method is also valuable for educational purposes since it impressively illustrates the impact of mechanical features on the mathematical model. This novel modelling approach is then applied to systems such as offshore-cranes and telescopic rapiers.
Dynamic Analysis of Petri Net-Based Discrete Systems
Design of modern digital hardware systems and of complex software systems is almost always connected with parallelism. For example, execution of an object-oriented p- gram can be considered as parallel functioning of the co-operating objects; all modern operating systems are multitasking, and the software tends to be multithread; many complex calculation tasks are solved in distributed way. But designers of the control systems probably have to face parallelism in more evident and direct way. Controllers rarely deal with just one controlled object. Usually a system of several objects is to be controlled, and then the control algorithm naturally turns to be parallel. So, classical and very deeply investigated model of discrete device, Finite State Machine, is not expressive enough for the design of control devices and systems. Theoretically in most of cases behavior of a controller can be described by an FSM, but usually it is not convenient; such FSM description would be much more complex, than a parallel specification (even as a network of several communicating FSMs).
Domain Decomposition Methods in Science and Engineering XVII
This volume contains a selection of papers presented at the 17th International Conference on Domain Decomposition Methods in Science and Engineering held at St. Wolfgang / Strobl, Austria, July 3 - 7, 2006. Domain decomposition is an active, interdisciplinary research area concerned with the development, analysis, and implementation of coupling and decoupling strategies in mathematical and computational models. Domain decomposition techniques provide efficient tools for treating problems in all Computational Sciences. The reader will become familiar with the newest domain decomposition technologies and their use for modeling and simulating of complex problems from different fields of applications.
Digital VLSI Design with Verilog : A Textbook from Silicon Valley Technical Institute
Digital VLSI Design With Verilog is all an engineer needs for in-depth understanding of the verilog language: Syntax, synthesis semantics, simulation, and test. For a reader with access to appropriate electronic design tools, all solutions can be developed, simulated, and synthesized as described in the book.
Digital Timing Measurements : From Scopes and Probes to Timing and Jitter
As many circuits and applications now enter the Gigahertz frequency range, accurate digital timing measurements have become crucial in the design, verification, characterization, and application of electronic circuits. To be successful in this endeavour, an engineer needs a knowledge base covering instrumentation, measurement techniques, signal integrity, jitter and timing concepts, and statistics. Very often even the most experienced digital test engineers, while mastering some of those subjects, lack systematic knowledge or experience in the high speed signal area.
Digital self-tuning controllers : Algorithms, implementation and applications
Digital Self-tuning Controllers presents you with a complete course in self-tuning control, beginning with a survey of adaptive control and the formulation of adaptive control problems. Modelling and identification are dealt with before passing on to algebraic design methods and particular PID and linear-quadratic forms of self-tuning control. Finally, laboratory verification and experimentation will show you how to ground your theoretical knowledge in real plant control.
Design of Reinforced Concrete Buildings for Seismic Performance : Practical Deterministic and Probabilistic Approaches
Presents an elegant, simple and theoretically coherent design framework. Required strength is determined on the basis of an estimated yield displacement and desired limits of system ductility and drift demands. A simple deterministic approach is presented along with its elaboration into a probabilistic treatment that allows for design to limit annual probabilities of failure. The design method allows the seismic force resisting system to be designed on the basis of elastic analysis results, while nonlinear analysis is used for performance verification. Detailing requirements of ACI 318 and Eurocode 8 are presented. Students will benefit from the coverage of seismology, structural dynamics, reinforced concrete, and capacity design approaches, which allows the book to be used as a foundation text in earthquake engineering.
Design and Construction of Tunnels : Analysis of controlled deformation in rocks and soils (ADECO-RS)
It uses the advance core (the core of ground ahead of the face) as a structural tool for the long and short term stabilisation of tunnels, after its rigidity has first been regulated using conservation techniques. Tunnels can consequently be driven in difficult stress-strain conditions to predetermined safety standards with operations industrialised and scheduled precisely.
Dependable software engineering : Theories, tools, and applications ; 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Dependable computing - EDCC 2005 ; 5th European dependable computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year’s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe – who were active in research and education related to dependability created a – joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year’s conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability.
