• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 369 matches

• 2023
• 
  Steve de Rose, Philippe Meyer, Frédéric Bertrand:
  Human Body Shapes Anomaly Detection and Classification Using Persistent Homology. Algorithms 16(3): 161 (2023)
• 
  Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer:
  Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. J. Object Technol. 22(1): 1 (2023)
• 
  Li Huang, Bertrand Meyer, Manuel Oriol:
  Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ICTSS 2023: 52-70
• 
  Li Huang, Sophie Ebersold, Alexander Kogtenkov, Alexandr Naumchev, Bertrand Meyer, Yinling Liu, ALiyu Alege:
  Lessons from Formally Verified Deployed Software Systems. CoRR abs/2301.02206 (2023)
• 
  Li Huang, Bertrand Meyer, Manuel Oriol:
  Seeding Contradiction: a fast method for generating full-coverage test suites. CoRR abs/2309.04232 (2023)
• 2022
• 
  Bertrand Meyer:
  Handbook of Requirements and Business Analysis. Springer 2022, ISBN 978-3-031-06738-9, pp. 1-250
• 
  Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Manuel Mazzara, Alexandr Naumchev, Bertrand Meyer:
  The Role of Formalism in System Requirements. ACM Comput. Surv. 54(5): 93:1-93:36 (2022)
• 
  Alfredo Capozucca, Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
  Special Issue on New Paradigms of Software Production and Deployment. SN Comput. Sci. 3(2): 132 (2022)
• 
  Li Huang, Bertrand Meyer, Manuel Oriol:
  Improving Counterexample Quality from Failed Program Verification. ISSRE Workshops 2022: 268-273
• 
  Li Huang, Bertrand Meyer:
  A Failed Proof Can Yield a Useful Test. CoRR abs/2208.09873 (2022)
• 
  Li Huang, Bertrand Meyer, Manuel Oriol:
  Improving Counterexample Quality from Failed Program Verification. CoRR abs/2208.10492 (2022)
• 
  Maria Naumcheva, Sophie Ebersold, Alexandr Naumchev, Jean-Michel Bruel, Florian Galinier, Bertrand Meyer:
  Object-Oriented Requirements: a Unified Framework for Specifications, Scenarios and Tests. CoRR abs/2209.02189 (2022)
• 
  Bertrand Meyer:
  Right and wrong: ten choices in language design. CoRR abs/2211.16597 (2022)
• 2021
• 
  Jérémy Magnanensi, Myriam Maumy-Bertrand, Nicolas Meyer, Frédéric Bertrand:
  New Developments in Sparse PLS Regression. Frontiers Appl. Math. Stat. 7: 693126 (2021)
• 
  Simon Geirnaert, Servaas Vandecappelle, Emina Alickovic, Alain de Cheveigné, Edmund C. Lalor, Bernd T. Meyer, Sina Miran, Tom Francart, Alexander Bertrand:
  Electroencephalography-Based Auditory Attention Decoding: Toward Neurosteered Hearing Devices. IEEE Signal Process. Mag. 38(4): 89-102 (2021)
• 
  Bertrand Meyer, Alisa Arkadova, Alexander Kogtenkov, Alexandr Naumchev:
  The concept of class invariant in object-oriented programming. CoRR abs/2109.06557 (2021)
• 2020
• 
  Bertrand Meyer:
  In search of the shortest possible schedule. Commun. ACM 63(1): 8-9 (2020)
• 
  Victor Rivera, Bertrand Meyer:
  AutoAlias: Automatic Variable-Precision Alias Analysis for Object-Oriented Programs. SN Comput. Sci. 1(1): 12:1-12:15 (2020)
• 
  Thomas Lihoreau, Brice Chatelain, Gwenaël Rolin, Chrystelle Vidal, Nadia Butterlin, Emmanuelle Jacquet, Aflah Elouneg, Jérôme Chambert, Xavier Bertrand, Christophe Meyer, Aurélien Louvrier:
  End-user Need based Creation of a Medical Device: An Experience of Co-design to Struggle Pathological Scars. BIODEVICES 2020: 317-322
• 
  Bertrand Meyer:
  Software Engineering, Across Two Centuries. Unimagined Futures 2020: 94-104
• 
  Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
  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. Lecture Notes in Computer Science 12055, Springer 2020, ISBN 978-3-030-39305-2 [contents]
• 
  Jean-Michel Bruel, Alfredo Capozucca, Manuel Mazzara, Bertrand Meyer, Alexandr Naumchev, Andrey Sadovykh:
  Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers. Lecture Notes in Computer Science 12271, Springer 2020, ISBN 978-3-030-57662-2 [contents]
• 2019
• 
  Alexandr Naumchev, Bertrand Meyer, Manuel Mazzara, Florian Galinier, Jean-Michel Bruel, Sophie Ebersold:
  AutoReq: Expressing and verifying requirements for control systems. J. Comput. Lang. 51: 131-142 (2019)
• 
  Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev:
  Towards an Anatomy of Software Requirements. TOOLS 2019: 10-40
• 
  Jean-Michel Bruel, Manuel Mazzara, Bertrand Meyer:
  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. Lecture Notes in Computer Science 11350, Springer 2019, ISBN 978-3-030-06018-3 [contents]
• 
  Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer, Alexander K. Petrenko:
  Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings. Lecture Notes in Computer Science 11771, Springer 2019, ISBN 978-3-030-29851-7 [contents]
• 
  Bertrand Meyer, Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev:
  The Anatomy of Requirements. CoRR abs/1906.06614 (2019)
• 
  Jean-Michel Bruel, Sophie Ebersold, Florian Galinier, Alexandr Naumchev, Manuel Mazzara, Bertrand Meyer:
  Formality in Software Requirements. CoRR abs/1911.02564 (2019)
• 2018
• 
  Mark Guzdial, Bertrand Meyer:
  The costs and pleasures of a computer science teacher. Commun. ACM 61(3): 12-13 (2018)
• 
  Bertrand Meyer:
  Making Sense of Agile Methods. IEEE Softw. 35(2): 91-94 (2018)

skipping 339 more matches