Bøger af Gianna Reggio

This book constitutes the refereed proceedings of the 14th International Conference on Model Driven Engineering Languages and Systems, MODELS 2011, held in Wellington, New Zealand, in October 2011. The papers address a wide range of topics in research (foundations track) and practice (applications track). For the first time a new category of research papers, vision papers, are included presenting "e;outside the box"e; thinking. The foundations track received 167 full paper submissions, of which 34 were selected for presentation. Out of these, 3 papers were vision papers. The application track received 27 submissions, of which 13 papers were selected for presentation. The papers are organized in topical sections on model transformation, model complexity, aspect oriented modeling, analysis and comprehension of models, domain specific modeling, models for embedded systems, model synchronization, model based resource management, analysis of class diagrams, verification and validation, refactoring models, modeling visions, logics and modeling, development methods, and model integration and collaboration.

FIDJI 2004 was an international forum for researchers and practitioners int- estedinthe advancesin,andapplicationsof,softwareengineeringfordistributed application development. Concerning the technologies, the workshop focused on "e;Java-related"e; technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 11 papers amongst 22 submitted, a tutorial and two keynotes. FIDJI2004aimedatpromotingascienti?capproachtosoftwareengineering. The scope of the workshop included the following topics: - design of distributed applications - development methodologies for software and system engineering - UML-based development methodologies - development of reliable and secure distributed systems - component-based development methodologies - dependability support during system life cycle - fault tolerance re?nement, evolution and decomposition - atomicity and exception handling in system development - software architectures, frameworks and design patterns for developing d- tributed systems - integration of formal techniques in the development process - formal analysis and grounding of modelling notation and techniques (e. g. , UML, metamodelling) - supporting the security and dependability requirements of distributed app- cations in the development process - distributed software inspection - refactoring methods - industrial and academic case studies - development and analysis tools The organization of such a workshop represents an important amount of work.

FIDJI 2003 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted applicationdevelopment. Concerningthe technologies,the workshopfocused on "e;Java-related"e; technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. Allpaperssubmittedtothisworkshopwerereviewedbyatleasttwomembers of the International Program Committee. Acceptance was based primarily on originality and contribution. We selected, for these post-workshop proceedings, 14 papers, amongst 29 submitted, two tutorials, and one keynote talk. FIDJI2003aimedatpromotingascienti?capproachtosoftwareengineering. The scope of the workshop included the following topics: - design of distributed Java applications - Java-related technologies - software and system architecture engineering and development methodo- gies - development methodologies for UML - development methodologies for reliable distributed systems - component-based development methodologies - managementofevolutions/iterationsintheanalysis,design,implementation, and test phases - dependability support during system life-cycles - managing inconsistencies during application development - atomicity and exception handling in system development - software architectures, frameworks, and design patterns for developing d- tributed systems - integration of formal techniques in the development process - formal analysis and grounding of modeling notation and techniques (e. g. , UML, metamodeling) - supporting the security requirements of distributed applications in the - velopment process - refactoring methods - industrial and academic case studies - development and analysis tools The organization of such a workshop represents an important amount of work.

FIDJI 2002 was an international forum for researchers and practitioners in- rested in the advances in, and applications of, software engineering for distri- ted application development. Concerning the technologies, the workshop focused on "e;Java-related"e; technologies. It was an opportunity to present and observe the latest research, results, and ideas in these areas. All papers submitted to this workshop were reviewed by at least two members of the International Program Committee. Acceptance was based primarily on the originality and contribution. We selected for these postworkshop proceedings 16 papers amongst 33 submitted, two tutorials, and two keynotes. FIDJI 2002 was aimed at promoting a scienti?c approach to software engin- ring. The scope of the workshop included the following topics: - design of distributed Java applications - Java-related technologies - software and system architecture engineering and development methodo- gies - development methodologies for UML - development methodologies for reliable distributed systems - component-based development methodologies - management of evolutions/iterations in the analysis, design, implementation, and test phases - dependability support during system lifecycle - managing inconsistencies during application development - atomicity and exception handling in system development - software architectures, frameworks, and design patterns for developing d- tributed systems - integration of formal techniques in the development process - formal analysis and grounding of modeling notation and techniques (e. g.