Download or read book Des sp cifications en langage naturel aux sp cifications formelles via une ontologie comme mod le pivot written by Driss Sadoun and published by . This book was released on 2014 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le développement d'un système a pour objectif de répondre à des exigences. Aussi, le succès de sa réalisation repose en grande partie sur la phase de spécification des exigences qui a pour vocation de décrire de manière précise et non ambiguë toutes les caractéristiques du système à développer.Les spécifications d'exigences sont le résultat d'une analyse des besoins faisant intervenir différentes parties. Elles sont généralement rédigées en langage naturel (LN) pour une plus large compréhension, ce qui peut mener à diverses interprétations, car les textes en LN peuvent contenir des ambiguïtés sémantiques ou des informations implicites. Il n'est donc pas aisé de spécifier un ensemble complet et cohérent d'exigences. D'où la nécessité d'une vérification formelle des spécifications résultats.Les spécifications LN ne sont pas considérées comme formelles et ne permettent pas l'application directe de méthodes vérification formelles.Ce constat mène à la nécessité de transformer les spécifications LN en spécifications formelles.C'est dans ce contexte que s'inscrit cette thèse.La difficulté principale d'une telle transformation réside dans l'ampleur du fossé entre spécifications LN et spécifications formelles.L'objectif de mon travail de thèse est de proposer une approche permettant de vérifier automatiquement des spécifications d'exigences utilisateur, écrites en langage naturel et décrivant le comportement d'un système.Pour cela, nous avons exploré les possibilités offertes par un modèle de représentation fondé sur un formalisme logique.Nos contributions portent essentiellement sur trois propositions :1) une ontologie en OWL-DL fondée sur les logiques de description, comme modèle de représentation pivot permettant de faire le lien entre spécifications en langage naturel et spécifications formelles; 2) une approche d'instanciation du modèle de représentation pivot, fondée sur une analyse dirigée par la sémantique de l'ontologie, permettant de passer automatiquement des spécifications en langage naturel à leur représentation conceptuelle; et 3) une approche exploitant le formalisme logique de l'ontologie, pour permettre un passage automatique du modèle de représentation pivot vers un langage de spécifications formelles nommé Maude.
Download or read book Translation and Meaning written by Marcel Thelen and published by Lodz Studies in Language. This book was released on 2016 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents new and innovative ideas on the didactics of translation and interpreting. They include assessment methods and criteria, assessment of competences, graduate employability, placements, skills labs, the perceived skills gap between training and profession, the teaching of terminology, and curriculum design.
Download or read book Current Research in Bilingualism and Bilingual Education written by Piotr Romanowski and published by Springer. This book was released on 2018-07-24 with total page 247 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book covers research topics in bilingual education, language policies, language contact, identity of bilingual speakers, early bilingualism, heritage languages, and more, and provides an overview of current theory, research and practice in the field of bilingualism. Each chapter is written by a specialist in the field. Part I focuses on the numerous and heterogeneous relations between languages as well as the implications arising from bilingual speech processing. In Part II, a series of contextualized studies on bilingual classrooms are presented, with diverse research designs applied in different educational settings being a key feature of these studies. Part III bridges theory and practice by offering an insight into mono- and multilingual school settings showcasing examples of educational institutions where bilingualism successfully soared and depicts the needs related to language education.
Download or read book Spinning the Semantic Web written by Dieter Fensel and published by MIT Press. This book was released on 2005 with total page 516 pages. Available in PDF, EPUB and Kindle. Book excerpt: A guide to the Semantic Web, which will transform the Web into a structured network of resources organized by meaning and relationships.
Download or read book Conceptual Modeling ER 99 written by Jacky Akoka and published by Springer. This book was released on 2003-07-31 with total page 546 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book provides a comprehensive state-of-the-art, in conceptual modeling. It grew out of research papers presented at the 18th International Conference on Conceptual Modeling (ER '99) and arranged by the editors. The plan of the conference is to cover the whole spectrum of conceptual modeling as it relates to database and information systems design and to offer a complete coverage of data and process modeling, database technology, and database applications. The aim of the conference and of these proceedings is to present new insights related to each of these topics. This book contains both selected and invited papers. The 33 selected papers are organized in 11 sessions encompassing the major themes of the conference, especially : - schema transformation, evolution, and integration - temporal database design - views and reuse in conceptual modeling - advanced conceptual modeling - business process modeling and workflows - data warehouse design. Besides the selected papers, 3 invited papers present the views of three keynote speakers, internationally known for their contribution to conceptual modeling and database research and for their active role in knowledge dissemination. Peter Chen presents the results of his ongoing research on ER model, XML, and the Web. Georges Gardarin presents the first results of an ESPRIT project federating various data sources with XML and XML-QL. Finally, Matthias Jarke develops a way to capture and evaluate the experiences gained about process designs in so-called process data warehouses.
Download or read book Generalisation of Geographic Information written by William A. Mackaness and published by Elsevier. This book was released on 2011-07-28 with total page 387 pages. Available in PDF, EPUB and Kindle. Book excerpt: Theoretical and Applied Solutions in Multi Scale Mapping Users have come to expect instant access to up-to-date geographical information, with global coverage--presented at widely varying levels of detail, as digital and paper products; customisable data that can readily combined with other geographic information. These requirements present an immense challenge to those supporting the delivery of such services (National Mapping Agencies (NMA), Government Departments, and private business. Generalisation of Geographic Information: Cartographic Modelling and Applications provides detailed review of state of the art technologies associated with these challenges, including the most recent developments in cartometric analysis techniques able to support high levels of automation among multi scale derivation techniques. The book illustrates the application of these ideas within existing and emerging technologies. In addition to providing a comprehensive theoretical underpinning, the book demonstrates how theoretical developments have translated into commercial systems deployed within NMAs. The book explores relevance of open systems in support of collaborative research and open source web based map services. State of the art review on multi scale representation techniques Detailed consideration of database requirements and object modeling in support of emerging applications (3D, mobile) and innovative delivery (map generalisation services) Illustration through existing map production environment implementations Consolidated bibliography (680 entries), 200 illustrations, author and subject index
Download or read book Conceptual Modeling ER 96 written by Bernhard Thalheim and published by Springer Science & Business Media. This book was released on 1996-09-25 with total page 508 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume constitutes the refereed proceedings of the 15th International Conference on Conceptual Modeling, ER '96, held in Cottbus, Germany, in October 1996. The volume presents three invited contributions together with 29 revised full papers selected from 110 submissions. The papers cover all current aspects of the entity-relationship approach and conceptual modeling; they are organized in sections on advanced schema design, processes, query languages, representation, integration, principles of database design, transformation, enhanced modelling, capturing design information, and evolution.
Download or read book Geosimulation written by Itzhak Benenson and published by John Wiley & Sons. This book was released on 2004-08-20 with total page 320 pages. Available in PDF, EPUB and Kindle. Book excerpt: Geosimulation is hailed as ‘the next big thing’ in geographic modelling for urban studies. This book presents readers with an overview of this new and innovative field by introducing the spatial modelling environment and describing the latest research and development using cellular automata and multi-agent systems. Extensive case studies and working code is available from an associated website which demonstrate the technicalities of geosimulation, and provide readers with the tools to carry out their own modelling and testing. The first book to treat urban geosimulation explicitly, integrating socio-economic and environmental modelling approaches Provides the reader with a sound theoretical base in the science of geosimulation as well as applied material on the construction of geosimulation models Cross-references to an author-maintained associated website with downloadable working code for readers to apply the models presented in the book Visit the Author's Website for further information on Geosimulation, Geographic Automata Systems and Geographic Automata Software http://www.geosimulationbook.com
Download or read book Web Cartography written by Jan-Menno Kraak and published by CRC Press. This book was released on 2003-09-02 with total page 228 pages. Available in PDF, EPUB and Kindle. Book excerpt: Maps and atlases are created as soon as information on our geography has been clarified. They are used to find directions or to get insight into spatial relations. They are produced and used both on paper as well as on-screen. The Web is the new medium for spreading and using maps. This book explains the benefits of this medium from the perspective of the user, and the map provider. Opportunities and pitfalls are illustrated by a set of case-studies. A website accompanies the book and provides a dynamic environment for demonstrating many of the principles set out in the text, including access to a basic course in Internet cartography as well as links to other interesting places on the Web. Professor Kraak looks at basic questions such as "I have this data what can I do with it?" and discusses the various functions of maps on the web. Web Cartography also looks at the particularities of multidimensional web maps and addresses topics such as map contents (colour, text and symbols), map physics (size and resolution), and the map environment (interface design/site contents).
Download or read book Technology and Languages written by B. B. Rajapurohit and published by . This book was released on 1994 with total page 144 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Perspectives in Conceptual Modeling written by Jacky Akoka and published by Springer Science & Business Media. This book was released on 2005-10-20 with total page 494 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed joint proceedings of five international workshops held in conjunction with the 24th International Conference on Conceptual Modeling, ER 2005, in Klagenfurt, Austria, in October 2005. The 40 revised full papers presented together with the abstracts of seven tutorials were carefully reviewed and selected from 102 submissions. The papers are organized in topical sections on best practices of UML, experience reports and new applications, model evaluation and requirements modeling, metamodeling and model driven development, positions in engineering agent oriented systems, agent oriented methodologies and conceptual modeling, agent communication and coordination, geographic information systems, spatial and spatio-temporal data representation, spatial relations, spatial queries, analysis and data mining, data modeling and visualisation, conceptual modeling approaches for e-business, information system models quality, and quality driven processes.
Download or read book Designing the Digital Transformation written by Alexander Maedche and published by Springer. This book was released on 2017-05-22 with total page 496 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 12th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2017, held in May/June 2017 in Karlsruhe, Germany. The 25 full and 11 short papers presented in this volume were carefully reviewed and selected from 66 full and 19 short papers. The contributions are organized in topical sections named: DSR in business process management; DSR in human computer interaction; DSR in data science and business analytics; DSR in service science; methodological contributions; domain-specific DSR applications; emerging themes and new ideas; and products and prototypes.
Download or read book A Theory of Computer Semiotics written by Peter Bøgh Andersen and published by Cambridge University Press. This book was released on 1997-04-28 with total page 428 pages. Available in PDF, EPUB and Kindle. Book excerpt: Semiotics is the science of signs: graphical, such as pictures; verbal (writing or sounds); or others such as body gestures and clothes. Computer semiotics studies the special nature of computer-based signs and how they function in use. This 1991 book is based on ten years of empirical research on computer usage in work situations and contains material from a course taught by the author. It introduces basic traditional semiotic concepts and adapts them so that they become useful for analysing and designing computer systems in their symbolic context of work. It presents a novel approach to the subject, rich in examples, in that it is both theoretically systematic and practical. The author refers to and reinterprets techniques already used so that readers can deepen their understanding. In addition, it offers new techniques and a consistent perspective on computer systems that is particularly appropriate for new hardware and software (e.g. hypermedia) whose main functions are presentation and communication. This is a highly important work whose influence will be wide and longlasting.
Download or read book Maps and the Internet written by M.P. Peterson and published by Elsevier. This book was released on 2005-12-17 with total page 474 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book examines a new trend affecting cartography and geographic information science. Presenting the work of over 30 authors from 16 different countries, the book provides an overview of current research in the new area of Internet Cartography. Chapters deal with the growth of this form of map distribution, uses in education, privacy issues, and technical aspects from the point of view of the map provider - including Internet protocols such as XML and SVG. Many see the Internet as a revolution for cartography. Previously tied to the medium of paper and expensive large-format color print technology, maps had a limited distribution and use. The Internet made it possible to not only distribute maps to a much larger audience but also to incorporate interaction and animation in the display. Maps have also become timelier with some maps of traffic and weather being updated every few minutes. In addition, it is now possible to access maps from servers throughout the world. Finally, the Internet has made historic maps available for viewing to the public that were previously only available in map libraries with limited access. * Provides comprehensive coverage of maps and the internet * Delivers a global perspective * Combines theoretical and practical aspects
Download or read book Internet Dreams written by Mark Stefik and published by MIT Press. This book was released on 1997 with total page 444 pages. Available in PDF, EPUB and Kindle. Book excerpt: Internet Dreams illuminates not only how "the Net" is being created, but also stories about ourselves as our lives become electronically interconnected. Stefik explores some of the most provocative writings about the Internet to tease out the deeper metaphors and myths. 24 illustrations.
Download or read book Transforming Computer Technology written by Arthur L. Norberg and published by Johns Hopkins University Press. This book was released on 2000-02-01 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Winner of the Association of American Publishers Professional and Scholarly Publishing Award for Computer Science Over the course of several decades, the Pentagon's Information Processing Techniques Office (IPTO) helped transform computing from a cumbersome enterprise based on batch processing to the instantly interactive, graphically rich, highly intelligent computing of today. With the purpose of improving command and control systems for the military, IPTO researchers strengthened time-sharing, laid the groundwork for graphics and parallel processing, contributed to the study of artificial intelligence, and developed the wide-area network that came to be known as the Internet. Transforming Computer Technology examines these and other developments at the Defense Department's Advanced Research Projects Agency in its heyday between 1962 and 1986. The authors show how Pentagon programs affected significant developments in both computer science and engineering. They analyze the management of the office, the origins and growth of important IPTO programs, and the interaction of the staff with the R & D community. They pay special attention to IPTO's role in executing research at the leading edge of computing and networking and in working with the military to transfer that research into practical use. And they show how, by the 1990s, the research results had been assimilated into systems both for the military and for civilian society.
Download or read book Information Technology and Systems written by Álvaro Rocha and published by Springer. This book was released on 2022-03-02 with total page 717 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book is composed by the papers written in English and accepted for presentation and discussion at The 2022 International Conference on Information Technology & Systems (ICITS'22), held at Tecnológico de Costa Rica, in San Carlos, Costa Rica, between the 9th and the 11th of February 2022. ICIST is a global forum for researchers and practitioners to present and discuss recent findings and innovations, current trends, professional experiences and challenges of modern information technology and systems research, together with their technological development and applications. The main topics covered are: information and knowledge management; organizational models and information systems; software and systems modelling; software systems, architectures, applications and tools; multimedia systems and applications; computer networks, mobility and pervasive systems; intelligent and decision support systems; big data analytics and applications; human–computer interaction; ethics, computers & security; health informatics; information technologies in education, and Media, Applied Technology and Communication.
