Sebanyak 461 item atau buku ditemukan

Evaluation of Novel Approaches to Software Engineering

8th International Conference, ENASE 2013, Angers, France, July 4-6, 2013. Revised Selected Papers

This book constitutes the thoroughly refereed proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2013, held in Angers, France, in July 2013. The 18 full papers presented were carefully reviewed and selected from 46 submissions. The papers reflect a growing effort to increase the dissemination of new results among researchers and professionals related to evaluation of novel approaches to software engineering. By comparing novel approaches with established traditional practices and by evaluating them against software quality criteria, the ENASE conferences advance knowledge and research in software engineering, identify most hopeful trends, and propose new directions for consideration by researchers and practitioners involved in large-scale software development and integration.

We assume that the quality of a method, particularly in terms of reliability,
depends also on the quality of the methods it collaborates with to perform its task.
In OO software systems, objects collaborate to achieve their respective
responsibilities.

Formal Approaches to Software Testing

Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, held in Montreal, Quebec, Canada, on October 6th, 2003. The 18 revised full papers presented were carefully selected from 43 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program testing and analysis, test theory and test derivation algorithms, and test methods and test tools.

The solution we propose is a method and tools for constructing a feedback loop
between test generation and specification inference, using and adapting existing
specificationbased test generation and dynamic specification inference ...

Developments in Risk-based Approaches to Safety

Proceedings of the Fourteenth Safety-citical Systems Symposium, Bristol, UK, 7-9 February 2006

This book assembles papers presented at the 14th Annual Safety-critical Systems Symposium, held at Bristol, UK in February 2006. The papers address the most critical topics in the field of safety-critical systems. The focus, considered from various perspectives, is on recent developments in risk-based approaches. Subjects discussed include innovation in risk analysis, management risk, the safety case, software safety, language development and the creation of systems for complex control functions.

In seeking a method of analysing management risk, it would be easiest to limit
the task to the junior management level. An obvious starting point is to attempt to
include the junior manager within the boundary or the system that is the source of
 ...

Fundamental Approaches to Software Engineering

14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.

When a method call is reached, the target method is symbolically executed using
the given arguments. Therefore, if the program calls a given method several
times, the execution paths in that method will be re-analyzed for each call. The
key ...

Fundamental Approaches to Software Engineering

11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008, Proceedings

This proceedings volume covers requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components.

In addition, whenever a method D.m overrides a method A.m, the following axiom
is added: two dynamically bound calls of m yield the same result whenever the
receiver's dynamic type is a subtype (denoted by <:) of D. ∀heap, o, x 1 ,...,x n ...

Fundamental Approaches to Software Engineering

6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings

3.2 Probe Insertion Our technique requires probes to be inserted at the beginning
, end (before return statement) and anywhere between begin and end of the
method (if needed) like in ifstatement or loop statements, as shown in Program
code ...

New Approaches in Software Measurement

10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings

Software measurement is one of the key technologies employed to control and manage the software development process. Research avenues such as the applicability of metrics, the efficiency of measurement programs in industry, and the theoretical foundations (of software engineering?) have been investigated to evaluate and improve modern software development areas such as object-orientation, compone- based develop-ment, multimedia systems design, reliable telecommunication systems etc. In the tradition of our software measurement research communities, the German Computer Science Interest (GI) Group on Software Measurement and the Canadian Interest Group in Software Metrics (CIM) have attended to these concerns in recent years. Initially, research initiatives were directed at the definition of new methods of software measurement and the validation of these methods themselves. This was then followed by more and more investigation into practical applications of software measurement and key findings in this area of software engineering have been published in: - Dumke/Zuse: Theory and Practice of Software Measurement, 1994 - Ebert/Dumke: Software-Metriken in der Praxis, 1996 - Lehner/Dumke/Abran: Software Metrics - Research and Practice in Software Measurement, 1997 - Dumke/Abran: Software Measurement - Current Trends in Research and Practice, 1999 We would also like to mention that the proceedings of the Lac Supérieur workshop have been made available on the web at www. lrgl. uqam. ca? This new book includes the proceedings of the 10th Workshop on Software Measurement held in Berlin in October 2000.

Summary of invocation types with keywords Type of invocation Keyword
Invocation of a method defined locally in the current class LOCL Remote
invocation of a method which is always implemented in the REM class to which
the target object ...

Biology of Stress in Farm Animals: An Integrative Approach

A seminar in the CEC programme of coordination research on animal welfare, held on April 17–18, 1986, at the Pietersberg Conference Centre, Oosterbeek, The Netherlands

This book contains the contributions to a workshop on stress in farm animals held on April 17-18,1986 at the Pietersberg Con ference Centre Oosterbeek. The workshop was financed by the Commis sion of the European Communities from its budget for the coordina tion of Community Agricultural Research and the Agricultural Uni versity of Wageningen (The Netherlands). Its aim was to bring together experts from different disciplines all having in common that in one way or another they were involved in stress research. Such a multidisciplinary encounter should not only provide an interesting description of present day knowledge on stress, but also promote a more integrated view on stress phenomena as they occur in higher vertebrates. In the course of this workshop the following fields of research were related to stress: endocrinology, immunology, pathology, neurobiology, ethology and theoretical bio logy. Each of these relationships was introduce& by one speaker presenting a concise state of the art. The same relationship was elaborated by a second speaker implementing the available knowledge as far as possible to the farm animal situation. Therefore in this book each discipline is represented by a duo and introduced by some integrating remarks.

Fokkema (1985) raised the question as to whether behavioral and physiological
characteristics of the rats (i.e. active or passive coping strategies) represent a risk
factor for cardiovascular disease provided that the animals are exposed to ...

Kesadaran gizi nasional dalam rangka peningkatan kualitas sumberdaya manusia

prosiding Simposium Pangan dan Gizi serta Kongres IV Perhimpunan Peminat Gizi dan Pangan (Pergizi-Pangan) Indonesia, Padang, Sumatera Barat, 26-28 September 1989

Symposium on food and nutrition in Indonesia; papers.

Untuk mencapai tujuan ini GBHN telah menggariskan suatu kebijakan
pengembangan dan peningkatan sumber daya manusia yang mencakup
kegiatan dalam empat bidang, yakni: kesehatan, gizi, pendidikan dan
perencanaan ...

Optimalisasi penelitian tentang pengembangan tenaga kesehatan dalam rangka peningkatan kualitas pelayanan kesehatan

prosiding Semiloka Penelitian Tentang Pengembangan Tenaga Kesehatan Jakarta-Ciawi, 16-19 Januari 1990

Human resource development in health services in Indonesia; proceedings of joint seminar-workshop.

Human resource development in health services in Indonesia; proceedings of joint seminar-workshop.