Génie logiciel

    Image from Gallica about Génie logiciel
    Field : Informatique
    Variants of the title : Génie du logiciel
    Ingénierie du logiciel
    Ingénierie informatique
    Technique du logiciel

    About the content (1)

    Contains (1)

    Documents about "Génie logiciel" (3,191)

    Livres (3,182)

    Software methodologies
    How to be a geek
    Génie logiciel
    Le marché de la réalité augmentée et virtuelle à l'horizon 2020
    Distributed Applications and Interoperable Systems
    Stabilization, Safety, and Security of Distributed Systems
    Service-Oriented and Cloud Computing
    Testing Software and Systems
    Transactions on Computational Science XXVII
    High Performance Computing in Science and Engineering
    Graph Transformation
    Formal Modeling and Analysis of Timed Systems
    Autonomous Agents and Multiagent Systems
    Coordination, Organizations, Institutions, and Normes in Agent Systems XI
    Web technologies and applications
    Formal Methods and Software Engineering
    Integrated Formal Methods
    Formal Methods
    Interactive Theorem Proving
    Transactions on Foundations for Mastering Change I
    Computational Logistics
    Theory and Practice of Formal Methods
    Systems programming
    Computational Science and Its Applications - ICCSA 2016
    Software Technologies
    Automated Technology for Verification and Analysis
    Coordination Models and Languages
    Web Services, Formal Methods, and Behavioral Types
    Verified software
    Intelligent Computer Mathematics
    Verified Software. Theories, Tools, and Experiments
    Web Information Systems Engineering - WISE 2016
    Search-Based Software Engineering
    Trends and applications in software engineering
    Transactions on Computational Collective Intelligence XXV
    Trends in Functional Programming
    Theoretical Aspects of Computing - ICTAC 2016
    System analysis and modeling
    Theory and Applications of Satisfiability Testing - SAT 2016
    Trust, Privacy and Security in Digital Business
    Software Engineering and Formal Methods
    Service-Oriented Computing - ICSOC 2015 Workshops
    Software engineering for resilient systems
    Rewriting Logic and Its Applications
    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
    Runtime Verification
    Semantics, Logics, and Calculi
    Service-Oriented Computing
    SOFSEM 2016
    Software Architecture
    Software Reuse
    Swarm, Evolutionary, and Memetic Computing
    Tackling Society's Grand Challenges with Design Science
    Tests and Proofs
    Theory and Practice of Model Transformations
    Tools and Algorithms for the Construction and Analysis of Systems
    Transactions on Modularity and Composition I
    Transactions on Petri Nets and Other Models of Concurrency XI
    Algorithms and Architectures for Parallel Processing
    Web engineering
    Computational Science and Its Applications -- ICCSA 2016
    Wired/Wireless Internet Communications
    Hardware and Software
    Graphical Models for Security
    Information security applications
    Scala
    Fundamental Approaches to Software Engineering
    Principles and Practice of Multi-Agent Systems
    Product-Focused Software Process Improvement
    Controlled Natural Language
    Collaboration and Technology
    Games and Learning Alliance
    Programming Languages and Systems
    Economics of Grids, Clouds, Systems, and Services
    Computational Science and Its Applications - ICCSA 2016
    Parallel Processing and Applied Mathematics
    Computational Science and Its Applications - ICCSA 2016
    Advanced Information Systems Engineering
    On the Move to Meaningful Internet Systems
    Critical systems
    Hybrid Systems Biology
    Distributed Computing
    Abstract State Machines, Alloy, B, TLA, VDM, and Z
    Introduction to software engineering
    Parallel Processing and Applied Mathematics
    Networked systems
    Deductive software verification - the keY book
    Human-Centered and Error-Resilient Systems Development
    Perspectives of System Informatics
    Green, Pervasive, and Cloud Computing
    Programming Languages and Systems
    Multi-Agent Based Simulation XVI
    Modelling foundations and applications
    Multi-Agent Systems and Agreement Technologies
    Model and data engineering
    Formal Techniques for Distributed Objects, Components, and Systems
    Foundations of software engineering
    Model Checking Software
    Multiagent system technologies
    Computer Aided Verification
    Mathematical Software - ICMS 2016
    Mobile Web and Intelligent Information Systems
    Current Trends in Web Engineering
    Foundational and Practical Aspects of Resource Analysis
    Advances in Conceptual Modeling
    Architecture of Computing Systems -- ARCS 2016
    Computer Aided Verification
    Leveraging Applications of Formal Methods, Verification and Validation
    Biomedical Data Management and Graph Online Querying
    Network and Parallel Computing
    Computational Science and Its Applications -- ICCSA 2016
    Dependable Software Engineering
    OpenMP
    Engineering Secure Software and Systems
    FM 2016
    Logics in Artificial Intelligence
    Knowledge, information and creativity support systems
    Automated Reasoning
    Analytical and Stochastic Modelling Techniques and Applications
    Engineering Trustworthy Software Systems
    Computer Safety, Reliability, and Security
    Computer safety, reliability, and security
    Foundations of Software Science and Computation Structures
    Languages and Compilers for Parallel Computing
    Computer Performance Engineering
    Augmented reality : no longer just text overlays
    Leveraging Applications of Formal Methods, Verification and Validation
    NASA Formal Methods
    Reliable Software Technologies - Ada-Europe 2016
    Universal access in human computer interaction
    Conceptual Modeling
    Cloud Computing als neue Herausforderung für Management und IT
    Cloud Computing
    Introduction to concurrency theory
    Formal Methods for Multicore Programming
    Advances in Computer Games
    Interoperability and Open-Source Solutions for the Internet of Things
    Introduction to Programming with Fortran
    Interaktive Systeme
    Advances in Complex Data Modeling and Computational Methods in Statistics
    Cloud Computing and Big Data
    Internet and Distributed Computing Systems
    Ambient Assisted Living. ICT-based Solutions in Real Life Situations
    Computational Science and Its Applications -- ICCSA 2015
    Countdown to a Moon Launch
    The art and science of analyzing software data
    Beginning software engineering
    Correct Software in Web Applications and Web Services
    Crowdsourcing
    Formal Methods for Industrial Critical Systems
    Formal Modeling and Analysis of Timed Systems
    JavaScript Object Programming
    Computational Science and Its Applications -- ICCSA 2015
    Formal Methods and Software Engineering
    Algorithms and Architectures for Parallel Processing
    Advanced Parallel Processing Technologies
    Coordination Models and Languages
    Intelligent Software Methodologies, Tools and Techniques
    Arduino music and audio projects
    Advanced Information Systems Engineering Workshops
    Computational Science and Its Applications -- ICCSA 2015
    Intelligent Software Methodologies, Tools and Techniques
    Barrierefreiheit im virtuellen Raum
    Intelligent Robotics and Applications
    Wireless Sensor Networks
    Distributed Applications and Interoperable Systems
    Quality of Service in Multiservice IP Networks
    Agent-oriented Software Engineering V
    Recent Trends in Algebraic Development Techniques
    Advances in Design and Specification Languages for Embedded Systems
    Sofsem 2005
    Approches quantitatives en génie logiciel
    Reliable Software Technologies
    Advances in Grid and Pervasive Computing
    Coordination Models and Languages
    Practical Aspects of Declarative Languages
    Formal Methods
    Advances and Innovations in Systems, Computing Sciences and Software Engineering
    Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
    Object-oriented Technology
    Rationale-based Software Engineering
    Rapid Integration of Software Engineering Techniques
    Engineering Self-organising Systems
    Petri Nets and Other Models of Concurrency
    Practical Aspects of Declarative Languages
    COTS-based Software Systems
    Active Networks
    Databases, Information Systems, and Peer-to-peer Computing
    Empirical Software Engineering Issues
    Universal Access in Human Computer Interaction
    Formal Methods for Performance Evaluation
    Euro-Par 2006 Workshops
    See more livres about Génie logiciel

    Documents électroniques (1)

    Ingénierie et qualité du logiciel et des systèmes

    See also (5)