génie logiciel

About the content (1 resources in data.bnf.fr)

Contains (1)

Gradle None

Documents about Génie logiciel (3,189 resources in data.bnf.fr)

Books (3,180)

Génie logiciel (1985) , 1985-1986 Artificial intelligence inengineering

, 1989-2001

IEE proceedings. Software , London (Ontario, Canada),1998-2006

Advanced engineeringinformatics

, New York (New York,États-Unis), 2002

IEE proceedings. Softwareengineering

, Stevenage (Hertford,Royaume-Uni), 1997-1997

Computing & controlengineering journal

, London (Ontario, Canada),1990

ACM transactions onsoftware engineering andmethodology

, New York (New York,États-Unis), 1992

IET software (Print) , Stevenage (Hertford,Royaume-Uni), 2007

Génie logiciel

Genre or work form : Software or multimedia works

Field : Informatique

Variants of the title : Génie du logicielIngénierie du logicielIngénierie informatiqueTechnique du logiciel

Data

1/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr

https://data.bnf.fr/en/


https://gallica.bnf.fr/ark:/12148/bpt6k48049321

https://gallica.bnf.fr/ark:/12148/bpt6k48049321

https://data.bnf.fr/en/vocabulary/work-form/lomu

https://data.bnf.fr/en/vocabulary/work-form/lomu

https://data.bnf.fr/en/11932109/informatique

https://data.bnf.fr/en/11932109/informatique

https://data.bnf.fr/en/17153097/gradle/



https://catalogue.bnf.fr/ark:/12148/cb171530978



https://data.bnf.fr/en/34372370/genie_logiciel__1985_/



https://catalogue.bnf.fr/ark:/12148/cb34372370c



https://data.bnf.fr/en/37573573/artificial_intelligence_in_engineering/




https://catalogue.bnf.fr/ark:/12148/cb37573573z



https://data.bnf.fr/en/37578036/iee_proceedings__software/



https://catalogue.bnf.fr/ark:/12148/cb37578036k



https://data.bnf.fr/en/38892375/advanced_engineering_informatics/




https://catalogue.bnf.fr/ark:/12148/cb38892375x



https://data.bnf.fr/en/37577299/iee_proceedings__software_engineering/




https://catalogue.bnf.fr/ark:/12148/cb37577299s



https://data.bnf.fr/en/37575308/computing___control_engineering_journal/




https://catalogue.bnf.fr/ark:/12148/cb37575308f



https://data.bnf.fr/en/37577944/acm_transactions_on_software_engineering_and_methodology/








https://data.bnf.fr/en/40996225/iet_software__print_/






Practical Aspects ofDeclarative Languages

, Manuel Hermenegildo,Daniel Cabeza, Heidelberg: Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Agent-oriented SoftwareEngineering V

, James J. Odell, PaoloGiorgini, J. P. Müller,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Euro-Par 2006 Workshops , Wolfgang Lehner,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Wireless Sensor Networks , K. G. Langendoen, ThiemoVoigt, Heidelberg : Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Petri Nets and OtherModels of Concurrency

, Jetty Kleijn, Alex Yakovlev,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Engineering Self-organisingSystems

, Sven A. Brueckner,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Advances and Innovationsin Systems, ComputingSciences and SoftwareEngineering

, Khaled Elleithy, Guildford :Springer London ; Boulder :NetLibrary, Inc. [distributor]

Approches quantitatives engénie logiciel

, [Paris] : AFCET , [ca 1984]

Object-oriented Technology , Mario Su·dholt, C. Consel,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Quality of Service inMultiservice IP Networks

, M. Ajmone Marsan,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Recent Trends in AlgebraicDevelopment Techniques

, Joseþ Luiz Fiadeiro,Pierre-Yves Schobbens,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Coordination Models andLanguages

, Amy L. Murphy, Jan Vitek,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

COTS-based SoftwareSystems

, Xavier Franch, Dan Port,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Universal Access in HumanComputer Interaction

, Constantine Stephanidis,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Formal Methods forPerformance Evaluation

, Marco Bernardo, J.Hillston, Heidelberg :Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Reliable SoftwareTechnologies

, Nabil Abdennadher,Fabrice Kordon, Heidelberg: Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Distributed Applicationsand Interoperable Systems

, Jadwiga Indulska, KerryRaymond, Heidelberg :Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Active Networks , Gary J. Minden,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Empirical SoftwareEngineering Issues

, Victor R. Basili, Heidelberg: Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Practical Aspects ofDeclarative Languages

, Michael Hanus,Heidelberg : Physica-Verlag; Boulder : NetLibrary, Inc.[distributor]

Data

2/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr



https://catalogue.bnf.fr/ark:/12148/cb44685353b






https://catalogue.bnf.fr/ark:/12148/cb44695136d



https://catalogue.bnf.fr/ark:/12148/cb44694576h









https://catalogue.bnf.fr/ark:/12148/cb44658177w



https://catalogue.bnf.fr/ark:/12148/cb35051253g












https://catalogue.bnf.fr/ark:/12148/cb44695233n









https://catalogue.bnf.fr/ark:/12148/cb44695167p


















Advances in Design andSpecification Languagesfor Embedded Systems

, Sorin A. Huss, Guildford :Springer London ; Boulder :NetLibrary, Inc. [distributor]

Rationale-based SoftwareEngineering

, Janet E. Burge, Guildford :Springer London ; Boulder :NetLibrary, Inc. [distributor]

Sofsem 2005 , Peter Vojts̀?, Heidelberg :Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Databases, InformationSystems, and Peer-to-peerComputing

, Gianluca Moro, Heidelberg: Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Rapid Integration ofSoftware EngineeringTechniques

, Nicolas Guelfi, DidierBuchs, Heidelberg :Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Advances in Grid andPervasive Computing

, Christophe Ceþrin, Kuan-Ching Li, Heidelberg :Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Construction and Analysisof Safe, Secure, andInteroperable SmartDevices

, Gilles Barthe, Heidelberg :Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Formal Methods , Lubo?s Brim, Heidelberg :Physica-Verlag ; Boulder :NetLibrary, Inc. [distributor]

Logiciel et industrie dufutur(2019)

, [Nantes] : IMT Atlantique ;Paris : Presses des Mines ,DL 2019

How to engineer software(2019)

, Steve Tockey, Hoboken :John Wiley : IEEE press

Software methodologies(2018)

, Capers Jones, Boca Raton: CRC press, Taylor &Francis group

Software technology(2018)

, [S.l.] : IEEE computersociety ; Hoboken : Wiley

How to be a geek(2017)

, Matthew Fuller, Cambridge; Malden, [Massachusetts]: Polity

Génie logiciel(2017)

, Paris : Techniques del'ingénieur , impr. 2017

Le marché de la réalitéaugmentée et virtuelle àl'horizon 2020(2017)

, Xerfi, Paris : Xerfi , DL2017

Hybrid Systems Biology(2016)

, Cham : SpringerInternational Publishing :Imprint : Springer , 2016

Hardware and Software(2016)

, Cham : SpringerInternational Publishing ,2016

Search-Based SoftwareEngineering(2016)

, [Cham] : SpringerInternational Publishing :Springer , 2016

Transactions on Petri Netsand Other Models ofConcurrency XI(2016)

, Berlin, Heidelberg :Springer , 2016

Languages and Compilersfor Parallel Computing(2016)

, Cham : Springer , 2016

Service-Oriented and CloudComputing(2016)


Multiagent systemtechnologies(2016)

, [Cham] : Springer , [2016]

Data

3/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr






https://catalogue.bnf.fr/ark:/12148/cb44696301j







































https://catalogue.bnf.fr/ark:/12148/cb45470260q
























Web technologies andapplications(2016)

, [Cham] : Springer , [2016] Intelligent ComputerMathematics(2016)


Software Reuse(2016)

, 2016. - , 2016 : SpringerInternational Publishing ,2016

Product-Focused SoftwareProcess Improvement(2016)


Formal Methods(2016)

, Cham : Springer , 2016 Leveraging Applications ofFormal Methods,Verification and Validation(2016)


Augmented reality : nolonger just text overlays(2016)

, Nakono, : Nakono , 2016 Formal Methods andSoftware Engineering(2016)


Transactions on Modularityand Composition I(2016)


Theory and Applications ofSatisfiability Testing - SAT2016(2016)


Autonomous Agents andMultiagent Systems(2016)

, Cham : Springer , 2016 Transactions onComputational CollectiveIntelligence XXV(2016)


Reliable SoftwareTechnologies - Ada-Europe2016(2016)


Foundations of softwareengineering(2016)

, Ashfaque Ahmed, BhanuPrasad, Boca Raton : CRCpress : Taylor & Francisgroup , cop. 2016

Software Architecture(2016)


Model and dataengineering(2016)


Algorithms andArchitectures for ParallelProcessing(2016)


Engineering TrustworthySoftware Systems(2016)


Architecture of ComputingSystems -- ARCS 2016(2016)

, Cham : Springer , 2016 Multi-Agent Systems andAgreement Technologies(2016)


Data

4/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr



























https://catalogue.bnf.fr/ark:/12148/cb44681450m















https://catalogue.bnf.fr/ark:/12148/cb45107240t





















Transactions onComputational ScienceXXVII(2016)

, Berlin, Heidelberg :Springer Berlin Heidelberg, 2016

Mathematical Software -ICMS 2016(2016)


Systems programming(2016)

, Richard John Anthony,Amsterdam ; Boston ; Paris: Morgan Kaufmann :Elsevier , cop. 2016

Modelling foundations andapplications(2016)


SOFSEM 2016(2016)


Rewriting Logic and ItsApplications(2016)


Conceptual Modeling(2016)


Programming Languagesand Systems(2016)


Green, Pervasive, andCloud Computing(2016)


Web Information SystemsEngineering - WISE 2016(2016)

, Cham, Switzerland :Springer , [2016]

Trends in FunctionalProgramming(2016)


Critical systems(2016)


Computational Science andIts Applications -- ICCSA2016(2016)


Software engineering forresilient systems(2016)


Principles and Practice ofMulti-Agent Systems(2016)


High PerformanceComputing in Science andEngineering(2016)


Fundamental Approachesto Software Engineering(2016)


Computer safety, reliability,and security(2016)


Theoretical Aspects ofComputing - ICTAC 2016(2016)


Deductive softwareverification - the keY book(2016)

, Cham : Springer , cop.2016

Stabilization, Safety, andSecurity of DistributedSystems(2016)


Distributed Computing(2016)


Data

5/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr





































































Engineering SecureSoftware and Systems(2016)

, Cham : Springer , 2016 Model Checking Software(2016)


Theory and Practice ofModel Transformations(2016)


OpenMP(2016)


Logics in ArtificialIntelligence(2016)


Introduction to softwareengineering(2016)

, Ronald J. Leach, BocaRaton : Taylor & Francis :CRC press , cop. 2016

Universal access in humancomputer interaction(2016)

, [Cham] : Springer , 2016 Formal Techniques forDistributed Objects,Components, and Systems(2016)


Graphical Models forSecurity(2016)

, Cham : Springer , 2016 Web Services, FormalMethods, and BehavioralTypes(2016)


Parallel Processing andApplied Mathematics(2016)


Testing Software andSystems(2016)


Web engineering(2016)

, Switzerland : Springer ,2016

Trust, Privacy and Securityin Digital Business(2016)


Distributed Applicationsand Interoperable Systems(2016)


Trends and applications insoftware engineering(2016)

, International conferenceon software processimprovement (4 ; 2015 ;Mazatlán, Mexique), Cham: Springer

Coordination Models andLanguages(2016)


Software Engineering andFormal Methods(2016)


Interactive TheoremProving(2016)


Foundations of SoftwareScience and ComputationStructures(2016)


Perspectives of SystemInformatics(2016)


Controlled NaturalLanguage(2016)


Data

6/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr



























https://catalogue.bnf.fr/ark:/12148/cb44681402r




































https://catalogue.bnf.fr/ark:/12148/cb44681249v






Scala(2016)

, Vicenç Torra, Cham :Springer , [2016]

Automated Reasoning(2016)


NASA Formal Methods(2016)


Service-OrientedComputing - ICSOC 2015Workshops(2016)


Biomedical DataManagement and GraphOnline Querying(2016)


Computer PerformanceEngineering(2016)


Parallel Processing andApplied Mathematics(2016)


Multi-Agent BasedSimulation XVI(2016)


Theory and Practice ofFormal Methods(2016)

, Cham : Springer , 2016 Programming Languagesand Systems(2016)


On the Move to MeaningfulInternet Systems(2016)


Automated Technology forVerification and Analysis(2016)


Service-OrientedComputing(2016)


Networked systems(2016)


Current Trends in WebEngineering(2016)


Verified software(2016)

, Cham : Springer , [2016]

Verified Software. Theories,Tools, and Experiments(2016)

, Cham : Springer , 2016 Graph Transformation(2016)


Tackling Society's GrandChallenges with DesignScience(2016)


Tests and Proofs(2016)


Information securityapplications(2016)

, Switzerland : Springer ,[2016]

Games and LearningAlliance(2016)


Data

7/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr





































































Mobile Web and IntelligentInformation Systems(2016)


Wired/Wireless InternetCommunications(2016)


Computer AidedVerification(2016)


Semantics, Logics, andCalculi(2016)


Computational Science andIts Applications - ICCSA2016(2016)


System analysis andmodeling(2016)




Abstract State Machines,Alloy, B, TLA, VDM, and Z(2016)


Coordination,Organizations, Institutions,and Normes in AgentSystems XI(2016)


Reliability, Safety, andSecurity of RailwaySystems. Modelling,Analysis, Verification, andCertification(2016)


Formal Modeling andAnalysis of Timed Systems(2016)


Collaboration andTechnology(2016)


Computer Safety,Reliability, and Security(2016)


Analytical and StochasticModelling Techniques andApplications(2016)


Runtime Verification(2016)

, Cham : Springer , 2016 Swarm, Evolutionary, andMemetic Computing(2016)


Leveraging Applications ofFormal Methods,Verification and Validation(2016)


Advanced InformationSystems Engineering(2016)


Dependable SoftwareEngineering(2016)


Advances in ConceptualModeling(2016)


Data

8/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr































































Software Technologies(2016)


Computer AidedVerification(2016)


Transactions onFoundations for MasteringChange I(2016)

, Cham : Springer , 2016 Integrated Formal Methods(2016)


Foundational and PracticalAspects of ResourceAnalysis(2016)


Network and ParallelComputing(2016)


Knowledge, informationand creativity supportsystems(2016)

, International conferenceon knowledge, informationand creativity supportsystems (8 ; 2013 ; Krakóv,Poland), Cham : Springer

FM 2016(2016)


Economics of Grids,Clouds, Systems, andServices(2016)




Human-Centered and Error-Resilient SystemsDevelopment(2016)


Tools and Algorithms forthe Construction andAnalysis of Systems(2016)


Computational Science andIts Applications -- ICCSA2016(2016)


Computational Logistics(2016)


Patterns of HCI Design andHCI Design of Patterns(2015)


Software Quality. Softwareand Systems Quality inDistributed and MobileEnvironments(2015)


OpenSHMEM and RelatedTechnologies. Experiences,Implementations, andTechnologies(2015)


Intelligent SoftwareMethodologies, Tools andTechniques(2015)


Data

9/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr

























































Interaktive Systeme(2015)

, Bernhard Preim, Berlin :Springer Berlin Heidelberg, 2015



Security StandardisationResearch(2015)

, Security StandardisationResearch conference (2 ;2015 ; Tokyo, Japon), Cham: Springer InternationalPublishing , 2015

Logic programming andnonmonotonic reasoning(2015)


Guide to DataFlowSupercomputing(2015)


Ambient Assisted Living.ICT-based Solutions in RealLife Situations(2015)


Systemkonsolidierung undDatenmigration alsErfolgsfaktoren(2015)

, Sabine Wachter,Wiesbaden : SpringerFachmedien Wiesbaden ,2015

Nordic Contributions in ISResearch(2015)


Engineering Multi-AgentSystems(2015)


Latent Variable Analysisand Signal Separation(2015)


On the Move to MeaningfulInternet Systems(2015)


Fundamentals ofComputation Theory(2015)


Model-Driven Engineeringand Software Development(2015)


Correct Software in WebApplications and WebServices(2015)


Testing Software andSystems(2015)




Dynamic Data-DrivenEnvironmental SystemsScience(2015)


Sharing data and models insoftware engineering(2015)

, Amsterdam [u.a.] :Morgan Kaufmann/Elsevier, 2015

Cloud Computing(2015)


Understanding NetworkHacks(2015)

, Bastian Ballmann, Berlin,Heidelberg : Springer BerlinHeidelberg , 2015

Data

10/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr































































Euro-Par 2015(2015)

, Cham : Springer , 2015 Service-oriented computing-- ICSOC 2014 Workshops(2015)


Transactions onComputational CollectiveIntelligence XIX(2015)


Globalizing Domain-Specific Languages(2015)


Enhanced BuildingInformation Models(2015)


Web Information SystemsEngineering - WISE 2015(2015)


See more books about Génie logiciel

Electronic documents (1)

Ingénierie et qualité dulogiciel et des systèmes(2010)

, La Plaine-Saint-Denis :AFNOR éd. , cop. 2010

Journals (8)

Génie logiciel (1985) Artificial intelligence in engineering

IEE proceedings. Software Advanced engineering informatics

IEE proceedings. Software engineering Computing & control engineering journal

ACM transactions on software engineering andmethodology

IET software (Print)

Data

11/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr





















https://data.bnf.fr/en/studies-by-rdt/11966616/a/page1

https://data.bnf.fr/en/studies-by-rdt/11966616/a/page1





















































See also (5 resources in data.bnf.fr)

In BnF (1)

Equivalent record in Catalogue général

On the Web (4)

Equivalent record in Bibliothèque nationale d’Espagne Equivalent record in Dbpedia

Equivalent record in Wikidata Equivalent record in Wikipedia Francophone

Data

12/12

data.bnf.fr

http://www.bnf.fr

http://www.bnf.fr






http://datos.bne.es/resource/XX541523



http://fr.dbpedia.org/resource/G%C3%A9nie_logiciel



http://wikidata.org/entity/Q80993



http://fr.wikipedia.org/wiki/G%C3%A9nie_logiciel

