Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Algorithms. --- Data structures (Computer science) --- Programming (Mathematics) --- Algorithmes. --- Structures de données (informatique) --- Programmation (mathématiques)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 4th International Symposium on Unifying Theories of Programming, UTP 2012, held in Paris, France, in August 2012, co-located with the 18th International Symposium on Formal Methods, FM 2012. The 8 revised full papers presented together with 2 invited talks and one invited lecture were carefully reviewed and selected from 13 submissions.

Mathematical logic --- Logic --- Computer science --- Programming --- Computer. Automation --- computers --- informatica --- ontwerpen --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica --- computerkunde

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The now well-established series of International Colloquia on Theoretical - pects of Computing (ICTAC) brings together practitionersand researchersfrom academia, industry and government to present research results, and exchange experience and ideas. Beyond these scholarly goals, another main purpose is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries. ThisvolumecontainsthepaperspresentedatICTAC2010.Itwasheldduring September 1-3 in the city of Natal, Rio Grande do Norte, Brazil. Therewere68submissionsbyauthorsfrom24countriesallaroundthe world. Each submission was reviewed by at least three, and on average four, Program Committee members and external reviewers. After extensive discussions, they decided to accept the 23 (regular) papers presented here. Authors of a selection of these papers were invited to submit an extended version of their work to a special issue of the Theoretical Computer Science journal. Seven of the papers were part of a special track including one paper on F- mal Aspects of Software Testing , and six on the Grand Challenge in Veri?ed Software. ThespecialtrackwasjointlyorganizedbyMarie-ClaudeGaudel,from the Universit´ e de Paris-Sud, and Jim Woodcock, from the University of York.

Computer science --- Computer. Automation --- toegepaste informatica --- computers

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Depuis 25 ans, les technologies de l’information et de communication ont transformé le monde. En quelques années, le commerce, la finance, les échanges, l’école, le travail, la culture, la politique, etc. se sont totalement modifiés du fait de leur développement. Qu’on se remémore quelques-unes des étapes les plus marquantes de ces évolutions : apparition des mini puis des micro-ordinateurs, nouvelles interfaces avec utilisation de la souris et métaphore du bureau, essor des hypermédia, popularisation du Web, nomadisme généralisé, informatique vestimentaire, intelligence d’ambiance... Les changements ont été imaginés, conçus, développés, expérimentés dans des laboratoires de recherche. Partout, la recherche a pris, et continue de prendre, une part déterminante. Or, il est parfois difficile de discerner ce qui relève de la recherche fondamentale et du travail universitaire, de ce qui correspond à l’innovation industrielle. Qu’est-ce qui distingue la « R. et D. » — la recherche et développement Industriel — de la recherche universitaire ? Quelle part cette dernière prend-elle exactement dans l’innovation ? Quel rôle sera-t-elle amenée à jouer dans les prochaines années ? Telles sont les questions auxquelles nous avons voulu répondre en publiant un ouvrage destiné aux ingénieurs, aux chercheurs, aux décideurs et, plus généralement, à l’honnête homme du début du xxie siècle qui souhaite comprendre le sens des évolutions technologiques actuelles.

Communication --- Information society --- Technologies de l'information et de la communication --- Société informatisée --- Technological innovations --- Research --- Recherche --- User interfaces (Computer systems) --- Technological innovations. --- Interfaces, User (Computer systems) --- Human-machine systems --- Human-computer interaction --- informatique --- information --- modélisation --- web --- internet --- télécommunication --- donnée --- TIC