The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the interpretation of the resulting language, which is known as the mixed lambda-calculus and combinatory logic. The notion of "parametrized semantics" is used to describe code generation and abstract interpretation. The code generation is for a simple abstract machine designed for the purpose, it is close to the categorical abstract machine. The abstract interpretation focuses on a strictness analysis that generalizes Wadler's analysis for lists. It is also shown how the results of abstract interpretation may be used to improve the code generation.

This volume contains the papers presented at FMICS 2009, the 14th Inter- tional Workshop on Formal Methods for Industrial Critical Systems, whichwas held on November 2-3, 2009, in Eindhoven, The Netherlands. Previous wo- shops of the ERCIM working group on Formal Methods for Industrial Critical Systems were held in Oxford (March 1996), Cesena (July 1997), Amsterdam (May 1998), Trento (July 1999), Berlin (April 2000), Paris (July 2001), Malaga (July2002), Trondheim(June2003), Linz(September 2004), Lisbon(September 2005), Bonn (August 2006), Berlin (July 2007), and L'Aquila (September 2008). The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, these workshops bring together scientists and engineers who are active in the area of formal methods and are interested in exchanging their experiences in the industrial usage of these methods. These workshops also strive to promote research and development for the improvement of formal methods and tools for industrial applications. The FMICS 2009 workshop was part of FMweek, the ?rst Formal Methods Week, whicho?eredachoiceofeventsinthearea, includingTESTCOM/FATES, Conferenceon TestingofCommunicatingSystemsandWorkshop on Formal- proaches to Testing of Software;FACS, Formal Aspects of Component Software; PDMC, Parallel and Distributed Methods of veri?Cation; FM2009, Symposium of Formal Methods Europe;CPA, Communicating Process Architectures;FAST, Formal Aspects of Security and Trust;FMCO, Formal Methods for Components and Objects; and the REFINE Workshop. All the information on FMweek can be found at http: //www.win.tue.nl/f

This volume contains the proceedings of TFM2009, the Second International FME Conference on Teaching Formal Methods, organized by the Subgroup of Education of the Formal Methods Europe (FME) association. The conference took place as part of the ?rst Formal Methods Week (FMWeek), held in Ei- hoven, The Netherlands, in November 2009. TFM2009 was a one-day forum in which to explore the successes and fa- ures of formal method (FM) education, and to promote cooperative projects to further educationand training in FMs. The organizersgatheredlecturers,tea- ers,andindustrialpartnersto discusstheir experience,presenttheir pedagogical methodologies, and explore best practices. Interest in FM teaching is growing. TFM2009 followed in a series of events on teaching FMs which includes two BCS-FACS TFM workshops (Oxford in 2003, and London in 2006), the TFM2004 conference (Ghent, 2004, with p- ceedings published as Springer LNCS Volume 3294), the FM-Ed 2006 workshop (Hamilton, co-located with FM2006), FORMED (Budapest, at ETAPS2008), and FMET2008 (Kitakyushu, co-located with ICFEM2008). FMs have an important role to play in the development of complex c- puting systems-a role acknowledged in industrial standards such as IEC61508 and ISO/IEC15408, and in the increasing use of precise modelling notations, semantic markup languages, and model-driven techniques. There is a growing need for software engineers who can work e?ectively with simple, mathematical abstractions, and with practical notions of inference and proof.

WorkonthisvolumestartedwiththeLipariSummerSchoolonAdvancesinSo- ware Engineering, which the ?rst editor organizedtogether with Alfredo Ferro fromtheUniversityofCataniainJuly2007.Itwasthe19thinawell-knownse- 1 riesofannualinternationalschools, addressedatcomputerscienceresearchers. Thethemesofthecourses, offourone-hourlectureseach, rangedfromdomain andrequirementsengineering(DinesBjoerner, TechnicalUniversityofDenmark, and Florin Spanachi, SAP Research, Germany) over high-level modeling (Egon B] orger, University of Pisa, Italy) and software product line techniques (Don Batory, UniversityofTexasatAustin, USA)toevolvablesoftware(PeterSestoft, Royal Veterinary and Agricultural University of Denmark) and the evolution of service-oriented software architectures (Carlo Ghezzi, Politecnico di Milano, Italy) in particular for Web services (Boualem Benatallah, University of New SouthWales, Australia)andthecrucialproblemofhowtoreachsecurity insuch evolvingdistributedsystems(DieterGollmann, TechnicalUniversityHamburg- Harburg, Germany). In two seminars the theme of evolvable software was further developed by the presentationofnew techniques forsoftwaremanipulation with annotations in Java (Vincenzo Gervasi, University of Pisa) and for the code-bricks-based runtime composition of self-evolving programs (Antonio Cisternino, University ofPisa). For unforseeablepersonalcircumstances MichaelJackson(London)was - abletodeliverhislecturesasplanned.However, thisvolumecontainshisre?- tions on which directions software engineering should take to become a truly engineeringdiscipline. This book is not a proceedings volume, but a collection of research papers on themes treated in the school, written with the intent to produce a state-- the art compendium of recent advances in software engineering. However, the contributions re?ect the extensive discussions we had during the two weeks in Lipari. Allcontributions, writtenbetweenAugust2007andJanuary2008, havebeen reviewed, revisedandreviewedagainduringtheperiodFebruary-August2008. We thank the 21 reviewers for their considerable and very constructive work, althoughasusualtheyhavetoremainanonymous.Lastbutnotleastwethank theauthorsfortheircommitmen

This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15-19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies. PSI 2009 was dedicated to the memory of a prominent scientist, academician Andrei Ershov (1931-1988), and to a signi?cant date in the history of computer science in the country, namely, the 50th anniversary of the Programming - partment founded by Andrei Ershov. Initially, the department was a part of the Institute of Mathematics and later, in 1964, it joined the newly established Computing Center of the Siberian Branch of the USSR Academy of Sciences. Andrei Ershov, who was responsible for forming the department, gathered a team of young graduates from leading Soviet universities. The ?rst signi?cant project of the department was aimed at the development of ALPHA system, an optimizing compiler for an extension of Algol 60 implemented on a Soviet c- puterM-20. Later, theresearchersofthedepartmentcreatedtheAlgibr, Epsilon, Sigma, and Alpha-6 programming systems for the BESM-6 computers. The list of their achievements also includes the ?rst Soviet time-sharing system AIST-0, the multi-language system BETA, research projects in arti?cial intelligence and parallel programming, integrated tools for text processing and publishing, and many othe

We are pleased to present the proceedings of the Second International Conf- ence on Software LanguageEngineering (SLE 2009). The conference was held in Denver, Colorado (USA) during October 5-6, 2009 and was co-located with the th 12 IEEE/ACM International Conference on Model-Driven Engineering L- th guages and Systems (MODELS 2009) and the 8 ACM International Conf- ence on Generative Programming and Component Engineering (GPCE 2009). TheSLEconferenceseriesisdevotedtoawiderangeoftopicsrelatedtoarti?cial languages in software engineering. SLE is an international research forum that brings together researchers and practitioners from both industry and academia to expand the frontiers of software language engineering. SLE'sforemostmissionis to encourageand organizecommunicationbetween communities that have traditionally looked at software languagesfrom di?erent, more specialized, and yet complementary perspectives. SLE emphasizes the f- damental notion of languages, as opposed to any realization in speci?c technical spaces. In this context, the term "software language" comprises all sorts of - ti?cial languages used in software development, including general-purpose p- gramming languages, domain-speci?c languages, modeling and meta-modeling languages, data models, and ontologies. Software language engineering is the application of a systematic, disciplined, quanti?able approach to the devel- ment, use, andmaintenanceoftheselanguages. TheSLEconferenceisconcerned with all phases of the lifecycle of software languages; these include the design, implementation, documentation, testing, deployment, evolution, recovery, and retirement of languages. Of special interest are tools, techniques, methods, and formalisms that support these activities. In particular, tools are often based on, or automatically generated from, a formal description of the language.

Wearepleasedtopresenttheproceedingsofthe14thMontereyWorkshop, which tookplaceSeptember10-13,2007inMonterey, CA, USA. Inthispreface, wegive the reader an overview of what took place at the workshop and introduce the contributions in this Lecture Notes in Computer Science volume. A complete introduction to the theme of the workshop, as well as to the history of the Monterey Workshop series, can be found in Luqi and Kordon's "Advances in Requirements Engineering: Bridging the Gap between Stakeholders' Needs and Formal Designs" in this volume. This paper also contains the case study that many participants used as a problem to frame their analyses, and a summary of the workshop's results. The workshop consisted of three keynote talks, three panels, presentations of peer-reviewed papers, as well as presentations of various position papers by the participants. The keynote speakers at this year's workshop were Daniel Berry, Aravind Joshi, and Lori Clarke. Each of their talks was used to set the tone for the p- sentations and discussions for that particular day. Daniel Berry presented an overview of the needs and challenges of natural language processing in requi- ments engineering, with a special focus on ambiguity in his talk "Ambiguity in Natural Language Requirements. " Aravind Joshi provided an overview of current natural language processing research in discourse analysis in the talk "Some Recent Developments in Natural Language Processing. " Finally, Lori Clarke showed how to combine formal requirements speci?cation with natural language processing to cope with the complex domain of medical information processes in "Getting the Details Right.

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches.

This volume 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.

This book is targeted at late undergraduate to early graduate university students, and researchers of programming methodologies. Vol. 1 of this series is a prerequisite text.

This volume contains the papers presented at the International GI/ITG C- ference on "Measurement, Modelling and Evaluation of Computing Systems" and "Dependability and Fault Tolerance," held during March 15-17, 2010 in Essen, Germany, hosted by the University of Duisburg-Essen. The Technical Committees of MMBand DFT coverallaspects ofperformanceand dependab- ityevaluationofsystemsincludingnetworks, computerarchitectures, distributed systems, software, fault-tolerant and secure systems. In 2010, both committees joined forces in a common conference MMB & DFT 2010. This current conf- ence was the 15th in a series of biannual conferences, initially started in 1981, with previous editions in Aachen, Dresden, Nuremberg and Dortmund. MMB & DFT 2010 received 42 submissions (37 regular papers and 5 tool descriptions) by authors from 15 di?erent countries. Each regular paper was reviewed by at least three (and up to ?ve) Program Committee members and external reviewers; tool papers were reviewed by two reviewers. In total we - ceived 158 reviews and the ProgramCommittee decided to accept 19 full papers and 5 tool papers. TheprogramwascompletedbytwoinvitedtalksandwewerehappythatPhil Koopman from Carnegie Mellon University and Paul Kuhn ] from the University of Stuttgart accepted to give an invited talk at the conference."

These proceedings are compiled from revised submissions presented at RV 2008, the 8th InternationalWorkshopon Runtime Veri?cationheld onMarch30, 2008 in Budapest, Hungary, as a satellite event of ETAPS 2008. There were 27 submissions. Each submission was reviewed by at least three ProgramCommitteemembers.Thecommitteedecidedtoacceptninepapers.This volume also includes two contributions by the invited speakers Jean Goubault- Larrecq(LSV/ENSCachan)on"ASmellofOrchids"andJohnRushby(SRI)on "RuntimeCerti?cation." We would like to thank the members of the Program Committee and the additional referees for their timely reviewing and lively participation in the s- sequent discussion-the quality of the contributions herein is due to their e?orts and expertise. We would like to thank the local organizers of ETAPS 2008 for facilitating this workshop. We would also like to thank the Technical University of Munich for their ?nancial support. Last but not least, we thank the parti- pants of RV 2008 for the stimulating discussions during the workshop and the authors for re?ecting this discussion in their revised papers. We acknowlege the e?ort of the EasyChair support team.

Constraint programming supports a great ambition for computer programming: the one of making programming essentially a modeling task, with equations, constraints, and logicalformulas. This ?eld emerged in the mid-1980sborrowing conceptsfromlogicprogramming, operationsresearch, andarti?cialintelligence. Its foundation is the use of relations on mathematical variables to compute with partial information systems. The successes of constraint programming for so- ing combinatorial optimization problems in industry or commerce are related to the advances made in the ?eld on new constraint propagationtechniques and on declarativelanguageswhich allowcontrolonthe mixing of heterogeneousreso- tiontechniquessuchasnumerical, symbolic, deductive, andheuristictechniques. This volumecontainsthe papers selectedfor the post-proceedingsof the12th International Workshop on Constraint Solving and Constraint Logic Progr- ming (CSCLP 2007) held during June 7-8, 2008 in Rocquencourt, France. This workshop, open to all, was organized as the 12th meeting of the working group onConstraintsofthe EuropeanResearchConsortiumfor Informaticsand Ma- ematics (ERCIM), continuing a series of workshops organized since the creation of the working group in 1997. A selection of papers of these annual workshops have been published since 2002 in a series of books which illustrate the evo- tion of the ?eld, under the title "Recent Advances in Constraints"in the Lecture Notes in Arti?cial Intelligence series. This year, there were 16 submissions, most of them being extended and - vised versions of papers presented at the workshop, plus some new papers. Each submission was reviewed by three reviewers. The Program Committee decided to accept ten papers for publication in this book.

The articles in this volume were selected for presentation at the Sixth Inter- tional Conference on Rough Sets and Current Trends in Computing (RSCTC 2008), which took place on October 23-25 in Akron, Ohio, USA. The conference is a premier event for researchersand industrial professionals interested in the theory and applications of rough sets and related methodo- gies. Since its introduction over 25 years ago by Zdzislaw Pawlak, the theory of rough sets has grown internationally and matured, leading to novel applications and theoretical works in areas such as data mining and knowledge discovery, machine learning, neural nets, granular and soft computing, Web intelligence, pattern recognition and control. The proceedings of the conferences in this - ries, as well as in Rough Sets and Knowledge Technology (RSKT), and the Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC) series report a variety of innovative applications of rough set theory and of its extensions. Since its inception, the mathematical rough set theory was closely connected to application ?elds of computer science and to other areas, such as medicine, which provided additional motivation for its further development and tested its real-life value. Consequently, rough set conferences emphasize the - teractionsandinterconnectionswith relatedresearchareas, providingforumsfor exchanging ideas and mutual learning. The latter aspect is particularly imp- tant since the development of rough set-related applications usually requires a combination of often diverse expertise in rough sets and an application ?eld

The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Intel- gence (SMIA), is a major international AI forum and the main event in the academic life of the country's growing AI community. In 2008 Mexico celebrates the 50th an- versary of development of computer science in the country: in 1958 the first computer was installed at the National Autonomous University of Mexico (UNAM). Nowadays, computer science is the country's fastest growing research area. The proceedings of the previous MICAI events were published by Springer in its Lecture Notes in Artificial Intelligence (LNAI) series, vol. 1793, 2313, 2972, 3789, 4293, and 4827. Since its foundation in 2000, the conference has been growing in popularity, and improving in quality. This volume contains the papers presented at the oral session of the 7th Mexican International Conference on Artificial Intelligence, MICAI 2008, held October 27-31, 2008, in Atizapan de Zaragoza, Mexico. The conference received for evaluation 363 submissions by 1,032 authors from 43 countries (see Tables 1 and 2). This volume contains revised versions of 94 papers by 308 authors from 28 countries selected - cording to the results of an international reviewing process. Thus the acceptance rate was 25.9%. The book is structured into 20 thematic fields representative of the main current areas of interest for the AI community, plus a section of invited papers: "

Formal engineering methods are intended to o?er e?ective means for integ- tion of formal methods and practical software development technologies in the context of software engineering. Their purpose is to provide e?ective, rigorous, and systematic techniques for signi?cant improvement of software productivity, quality, and tool supportability. In comparison with formal methods, a distinct feature of formal engineering methods is that they emphasize the importance of the balance between the qualities of simplicity, visualization, and preciseness for practicality. To achieve this goal, formal engineering methods must be - veloped on the basis of both formal methods and existing software technologies in software engineering, and they must serve the improvement of the softwa- engineering process. ICFEM 2008 marks the tenth anniversary of the ?rst ICFEM conference, which was held in Hiroshima in 1997. It aims to bring together researchers and practitioners who are interested in the development and application of formal engineering methods to present their latest work and discuss future research directions. The conference o?ers a great opportunity for researchers in both formal methods and software engineering to exchange their ideas, experience, expectation and to ?nd out whether and how their research results can help advance the state of the art.

On behalf of the Organizing Committee we are pleased to present the p- ceedings of the 2008 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensivesystems from independently developed software-building blocks (components), the - velopment of components, and system maintenance and improvement by means of component replacement and customization. CBSE 2008 was the 11th in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. Wewerefortunateto haveadedicatedProgramCommitteecomprisingmany internationallyrecognizedresearchersandindustrialpractitioners.Wewouldlike to thank the members of the Program Committee and associated reviewers for their contribution in making this conference a success. We received 70 subm- sions and each paper was reviewed by at least three Program Committee m- bers (four for papers with an author on the Program Committee). The entire reviewing process was supported by the Conference Management Toolkit p- vided by Microsoft. In total, 20 submissions were accepted as full papers and 3 submissions were accepted as short papers.

Computer modeling is now an integral part of research in evolutionary biology. The advent of increased processing power in the personal computer, coupled with the availability of languages such as R, SPLUS, Mathematica, Maple, Mathcad, and MATLAB, has ensured that the development and analysis of computer models of evolution is now within the capabilities of most graduate students. However, there are two hurdles that tend to discourage students from making full use of the power of computer modeling. The first is the general problem of formulating the question and the second is its implementation using an appropriate computer language.
Modelling Evolution outlines how evolutionary questions are formulated and how, in practice, they can be resolved by analytical and numerical methods (with the emphasis being on the latter). Following a general introduction to computer modeling, successive chapters describe "Fisherian" optimality models, invasibility analysis, genetic models, game theoretic models, and dynamic programming. A common chapter plan facilitates tuition and comprises an introduction (in which the general approach and methods are described) followed by a series of carefully structured scenarios that have been selected to highlight particular aspects of evolutionary modeling. Coding for each example is provided in either R or MATLAB since both of these programs are readily available and extensively used. This coding is available on the author's web site allowing easy implementation and study of the programs. Each chapter concludes with a list of exemplary papers which have been chosen on the basis of how well they explain and illustrate the techniques discussed in the chapter.

This volume includes extended and revised versions of the papers presented at the 9th and 10th International Workshops on Learning Classi?er Systems (IWLCS 2006 and IWLCS 2007). Both workshops were held in association with theGeneticandEvolutionaryComputationConference(GECCO).IWLCS2006 was held on July 8th, 2006, in Seattle, USA, during GECCO 2006.IWLCS 2007 was held on July 8th, 2007, in London, UK, during GECCO 2007. The IWLCS is the annual meeting of researchers wishing to discuss recent developments in learning classi?er systems (LCS). At the last IWLCS, the LCS researchers commemorated the 10th anniversary of the workshop and ackno- edged the contribution of Stewart Wilson to the ?eld. Following his proposal of the XCS classi?er system in 1995, research on LCS was reactivated leading to signi?cant contributions and promising perspectives. The annual IWLCS wo- shops are the proof of this fruitful research. We include an invited paper from Stewart Wilson. We greatly appreciate his contribution to the volume. The contents of this book are as follows. First, Bacardit, Bernado -Mansilla and Butz review LCS research over the past ten years and point out new ch- lenges and open issues in the LCS ?eld. Next, papers investigating knowledge representations are presented. Lanzi et al. analyze the evolution of XCS with symbolic representations using a novel method that identi?es useful substr- tures and tracks the emergence of optimal solutions. Ioannides and Browne investigate the scaling of LCSs using ternary and symbolic representations."

Models are used in all kinds of engineering disciplines to abstract from the various details of the modelled entity in order to focus on a speci?c aspect. Like a blueprint in civil engineering, a software architecture providesan abstraction from the full software system's complexity. It allows software designers to get an overview on the system underdevelopmentandtoanalyzeitsproperties.Inthissense, modelsarethefoundation needed for software development to become a true engineering discipline. Especially when reasoning on a software system's extra-functional properties, its software architecture carries the necessary information for early, design-time analyses. These analyses take the software architecture as input and can be used to direct the design process by allowing a systematic evaluation of different design alternatives. For example, they can be used to cancel out decisions which would lead to architecture - signs whose implementation would not comply with extra-functionalrequirements like performance or reliability constraints. Besides such quality attributes directly visible to the end user, internal quality attributes, e.g., maintainability, also highly depend on the system's architecture. In addition to the above-mentioned technical aspects of software architecture m- els, non-technical aspects, especially project management-related activities, require an explicit software architecture model. The models are used as input for cost esti- tions, time-, deadline-, and resource planning for the development teams. They serve the project management activities of planning, executing, and controlling, which are necessary to deliver high-quality software systems in time and within the budget.

Mootools is a light, modular JavaScript framework that makes adding Ajax, animations, and interactive elements to your site a breeze. But it's more than fancy effects and shortcuts; Mootools enhances the JavaScript language and makes writing clean, object-oriented code almost pleasant. Unlocking the power of Mootools, and therefore JavaScript, isn't that hard, but knowing where to start can be. Mootools Essentials aims to help you accomplish that task with the following: Illustrations of nearly every class and function in the library Real-world examples of how to use them Written by Mootools user/contributor and Mootorial author, Aaron Newton. You can see how Mootools makes JavaScript more powerful. What you'll learn Access the complete reference to the Mootools library. See how to use the library and understand how JavaScript/Mootools is different from other programming languages. Get step-by-step code authoring examples. Explore real-world examples of how to accomplish common fundamental tasks. Who is this book for? This firstPress book is for web developers who want to learn an easier and productive way to develop/use JavaScript and Ajax. Related Titles Beginning JavaScript with DOM Scripting and Ajax: From Novice to Professional

While Web 2.0 was about data, Web 3.0 is about knowledge and information. Scripting Intelligence: Web 3.0 Information Gathering and Processing offers the reader Ruby scripts for intelligent information management in a Web 3.0 environmentincluding information extraction from text, using Semantic Web technologies, information gathering (relational database metadata, web scraping, Wikipedia, Freebase), combining information from multiple sources, and strategies for publishing processed information. This book will be a valuable tool for anyone needing to gather, process, and publish web or database information across the modern web environment.Text processing recipes, including speech tagging and automatic summarization Gathering, visualizing, and publishing information from the Semantic Web Information gathering from traditional sources such as relational databases and web sites What you'll learn Gather and process information within the Web 3.0 environment. See the flexibility of scripting with Ruby to gather and process information. Extract text from various document formats. Work with the Resource Description Framework(RDF) data model and SPARQL query language, the foundations of the Semantic Web. Use GraphViz for data visualization. Extract information from relational databases and web sites. Who this book is for

Anyone needing to gather and display information available in electronic formats Programmers needing to tag, summarize, or publish information Ruby programmers and computer enthusiasts interested in seeing what Ruby can do with information management and Semantic Web tools Academic researchers needing to extract and organize information in a more automated way Table of Contents Parsing Common Document Types Cleaning, Segmenting, and Spell-Checking Text Natural Language Processing Using RDF and RDFS Data Formats Delving Into RDF Data Stores Performing SPARQL Queries and Understanding Reasoning Implementing SPARQL Endpoint Web Portals Working with Relational Databases Supporting Indexing and Search Using Web Scraping to Create Semantic Relations Taking Advantage of Linked Data Implementing Strategies for Large-Scale Data Storage Creating Web Mashups Performing Large-Scale Data Processing Building Information Web Portals

th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France. We wished to celebrate this by advertising and organizing FM 2009 as the Second World Congress in the FM series, aiming to once again bring together the formal methods communities from all over the world. The statistics displayed in the table on the next page include the number of countries represented by the Programme Committee members, as well as of the authors of submitted and accepted papers. Novel this year was a special track on tools and industrial applications. Subm- sions of papers on these topics were especially encouraged, but not given any special treatment. (It was just as hard to get a special track paper accepted as any other paper.) What we did promote, however, was a discussion of how originality, contri- tion, and soundness should be judged for these papers. The following questions were used by our Programme Committee.

This volume contains the proceedings of the 15th International SPIN Workshop on Model Checking of Software (SPIN 2008), which took place at the University of California, Los Angeles, August 10-12, 2008. The SPIN workshops form a forum for researchers and practitioners interested in model checking techniques for the veri?cation and validation of software systems. Model checking is the process of checking whether a given structure is a model of a given logical f- mula.The structure normallyrepresents a setof tasks executing in parallelin an interleaved fashion, resulting in a non-deterministic set of executions. The main focusoftheworkshopseriesissoftwaresystems, including models andprograms. Subjects of interest include theoretical and algorithmic foundations as well as toolsfor softwaremodel checking.The workshopin additionaimsto foster int- actions and exchanges of ideas with related areas in software engineering, such as static analysis, dynamic analysis, and testing. There were 41 submissions, including 38 full papers and 3 tool papers. Each submissionwasreviewedbyatleastthreeProgrammeCommitteemembers.The committee decided to accept 18 papers, including 17 regular papers and 1 tool paper. The programme also included ?ve invited talks (in alphabetical order): Matthew Dwyer (University of Nebraska) "Residual Checking of Safety Pr- erties," Daniel Jackson (MIT) "Patterns of Software Modelling: From Classic To Funky," Shaz Qadeer (Microsoft Research) "The Case for Context-Bounded Veri?cation of Concurrent Programs," Wolfram Schulte (Microsoft Research) "Using Dynamic Symbolic Execution to Improve Deductive Veri?cation," and Yannis Smaragdakis (University of Oregon) "Combining Static and Dynamic Reasoning for the Discovery of Program Properties."

Much of a software architect's life is spent designing software systems to meet a set of quality requirements. General software quality attributes include scalability, security, performance or reliability. Quality attribute requirements are part of an application's non-functional requirements, which capture the many facets of how the functional - quirements of an application are achieved. Understanding, modeling and continually evaluating quality attributes throughout a project lifecycle are all complex engineering tasks whichcontinuetochallengethe softwareengineeringscienti ccommunity. While we search for improved approaches, methods, formalisms and tools that are usable in practice and can scale to large systems, the complexity of the applications that the so- ware industry is challenged to build is ever increasing. Thus, as a research community, there is little opportunity for us to rest on our laurels, as our innovations that address new aspects of system complexity must be deployed and validated. To this end the 5th International Conference on the Quality of Software Archit- tures (QoSA) 2009 focused on architectures for adaptive software systems. Modern software systems must often recon guretheir structure and behavior to respond to c- tinuous changes in requirements and in their execution environment. In these settings, quality models are helpful at an architectural level to guide systematic model-driven software development strategies by evaluating the impact of competing architectural choices.

Learn Objective-C for Java Developers will guide experienced Java developers into the world of Objective-C. It will show them how to take their existing language knowledge and design patterns and transfer that experience to Objective-C and the Cocoa runtime library. This is the express train to productivity for every Java developer who has dreamed of developing for Mac OS X or iPhone, but felt that Objective-C was too intimidating. So hop on and enjoy the ride Provides a translation service that turns Java problem-solving skills into Objective-C solutions Allows Java developers to leverage their existing experience and quickly launch themselves into a new domain Takes the risk out of learning Objective-C What you'll learn Apply Java experience to Objective-C and Cocoa Use elegant alternatives that increase productivity Maximize the powerfully unique constructs of Objective-C, like class clusters Think like an object-oriented C programmer to create more reusable code Use all of the things in Java and Objective-C that are actually quite similar, like MVC design patterns Learn how to do all of it within Apple's powerful Xcode programming environment using Cocoa frameworks Who this book is for

Experienced Java developers interested in developing native applications for Apple's Mac OS X operating system, iPhone, and iPod touch. Table of Contents Introduction Java and C: Key Differences Welcome to Objective-C Creating an Xcode Project Exploring Protocols and Categories Sending Messages Making Friends with nil Strings and Primitive Values Garbage Collection Introspection Files Serialization Communicating Near and Far Exception Handling Threads Collection Patterns Delegation Pattern Provider/Subscriber Pattern Observer Pattern Model-View-Controller Pattern Lazy Initialization Pattern Factory Pattern Singleton Pattern Memory Management Mixing C and Objective-C Runtime

This book contains the final reports of the workshops held during the 22nd European Conference on Object-Oriented Programming, ECOOP 2008, in Paphos, Cyprus, in July 2008.

The 11 collected reports from high-quality workshops - provided by the respective organizers - all are related to selected aspects in the field of object-oriented programming and technology. The topics covered span areas related to object-oriented programming and technology, such as programming languages, aspects, parallel computing, formal techniques, software engineering, tools, and applications.