Meyer, Bertrand.
Overview
Works: | 0 works in 3 publications in 1 languages |
---|
Titles
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment = Second International Workshop, DEVOPS 2019, Château de Villebrumier, France, May 6–8, 2019, Revised Selected Papers /
by:
Meyer, Bertrand.; Mazzara, Manuel.; SpringerLink (Online service); Bruel, Jean-Michel.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Handbook of Requirements and Business Analysis
by:
Meyer, Bertrand.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
by:
Woodcock, Jim.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Meyer, Bertrand.
(Language materials, printed)
Present and ulterior software engineering
by:
SpringerLink (Online service); Meyer, Bertrand.; Mazzara, Manuel.
(Language materials, printed)
Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment = First International Workshop, DEVOPS 2018, Chateau de Villebrumier, France, March 5-6, 2018, Revised Selected Papers /
by:
SpringerLink (Online service); Bruel, Jean-Michel.; Meyer, Bertrand.; Mazzara, Manuel.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Software engineering = International Summer Schools, LASER 2013-2014, Elba, Italy : revised tutorial lectures /
by:
Nordio, Martin.; SpringerLink (Online service); Meyer, Bertrand.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Software Technology: Methods and Tools = 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15–17, 2019, Proceedings /
by:
Bruel, Jean-Michel.; SpringerLink (Online service); Meyer, Bertrand.; Mazzara, Manuel.; Petrenko, Alexander.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Objects, Components, Models and Patterns = 46th International Conference, TOOLS EUROPE 2008, Zurich, Switzerland, June 30 - July 4, 2008. Proceedings /
by:
Meyer, Bertrand.; SpringerLink (Online service); Paige, Richard F.
(Language materials, printed)
Verified Software: Theories, Tools, Experiments = First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Woodcock, Jim.; Meyer, Bertrand.; SpringerLink (Online service)
(Language materials, printed)
Software Engineering = International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures /
by:
Meyer, Bertrand.; Nordio, Martin.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
Meyer, Bertrand.; Nordio, Martin.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Frontiers in Software Engineering Education = First International Workshop, FISEE 2019, Villebrumier, France, November 11–13, 2019, Invited Papers /
by:
SpringerLink (Online service); Bruel, Jean-Michel.; Naumchev, Alexandr.; Mazzara, Manuel.; Meyer, Bertrand.; Capozucca, Alfredo.; Sadovykh, Andrey.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Show more
Fewer
Subjects
Artificial intelligence.
Software engineering.
Logics and Meanings of Programs.
Information Systems Applications (incl.Internet)
Application software.
Coding theory.
Computer Appl. in Social and Behavioral Sciences.
Computers.
Database Management.
Computer logic.
Operating Systems.
Coding and Information Theory.
System Performance and Evaluation.
Information Systems Applications (incl. Internet).
Computer Science.
Special purpose computers.
Management of Computing and Information Systems.
Database management.
Special Purpose and Application-Based Systems.
Computing Milieux.
Computer science.
Management information systems.
Computer software
Computer organization.
Computers and Education.
Education—Data processing.
Programming Techniques.
Computer programming.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Software engineering
Programming Languages, Compilers, Interpreters.
Models and Principles.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Computer software.
Software Management.
Information theory.
The Computing Profession.
Computer system failures.
Programming languages (Electronic computers).