• 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 425 matches

• 2021
• 
  Fuhua Shang, Qiuyu Ding, Ruishan Du, Maojun Cao, Huanyu Chen:
  Construction and Application of the User Behavior Knowledge Graph in Software Platforms. J. Web Eng. 20(2): 387-412 (2021)
• 
  Xinyi Xiong:
  The Application of Computer REVIT Software in the Construction Designing of University Dormitory Building. CSIA (1) 2021: 164-171
• 
  Tobias Runge, Ina Schaefer, Loek Cleophas, Thomas Thüm, Derrick G. Kourie, Bruce W. Watson:
  Tool Support for Correctness-by-Construction. Software Engineering 2021: 93-94
• 
  Jan Friso Groote, Kim Guldstrand Larsen:
  Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. Lecture Notes in Computer Science 12651, Springer 2021, ISBN 978-3-030-72015-5 [contents]
• 
  Jan Friso Groote, Kim Guldstrand Larsen:
  Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II. Lecture Notes in Computer Science 12652, Springer 2021, ISBN 978-3-030-72012-4 [contents]
• 2020
• 
  Xuan Hu, Jie Liu:
  Ontology Construction and Evaluation of UAV FCMS Software Requirement Elicitation Considering Geographic Environment Factors. IEEE Access 8: 106165-106182 (2020)
• 
  Zhe Sun, Chi Hu, Chunlei Li, Linbo Wu:
  Domain Ontology Construction and Evaluation for the Entire Process of Software Testing. IEEE Access 8: 205374-205385 (2020)
• 
  Jerome Vogel, Rainer Telesko:
  Derivation of an Agile Method Construction Set to Optimize the Software Development Process. J. Cases Inf. Technol. 22(3): 19-34 (2020)
• 
  Sebastian Götz, Andreas Fehn, Frank Rohde, Thomas Kühn:
  Model-driven Software Engineering for Construction Engineering: Quo Vadis? J. Object Technol. 19(2): 2:1-22 (2020)
• 
  Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo:
  Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. 22(1): 3-32 (2020)
• 
  Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo:
  Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. 22(1): 33-34 (2020)
• 
  Zhongjie Wang, Hanchuan Xu, Ming Liu, Xiaofei Xu:
  Quality-Driven and Abstraction-Oriented Software Construction Course Design: To Fill the Gap between Programming and Software Engineering Courses. ACM TUR-C 2020: 9-14
• 
  Mark Hills:
  Introducing DevOps Techniques in a Software Construction Class. CSEE&T 2020: 1-5
• 
  Isaac Souza Elgrably, Sandro Ronaldo Bezerra Oliveira:
  Construction of a syllabus adhering to the teaching of software testing using agile practices. FIE 2020: 1-9
• 
  Tabea Bordis, Tobias Runge, Ina Schaefer:
  Correctness-by-construction for feature-oriented software product lines. GPCE 2020: 22-34
• 
  Yan Zhang, Rong Xie, Yangfan He, Bing Li:
  Software Construction Oriented Multi-agent Collaborative Modeling and Simulation. SERVICES 2020: 171-176
• 
  Armin Biere, David Parker:
  Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I. Lecture Notes in Computer Science 12078, Springer 2020, ISBN 978-3-030-45189-9 [contents]
• 
  Armin Biere, David Parker:
  Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II. Lecture Notes in Computer Science 12079, Springer 2020, ISBN 978-3-030-45236-0 [contents]
• 
  Christian Winkler, Katharina Linden, Andreas Mayr, Thomas Schultz, Thomas Welchowski, Johannes Breuer, Ulrike Herberg:
  RefCurv: A software for the construction of pediatric reference curves. Softw. Impacts 6: 100040 (2020)
• 2019
• 
  Fotios Nikolaidis:
  Tromos: a software development kit for virtual storage systems. (Tromos: un cadre pour la construction de systèmes de stockage distribués). University of Paris-Saclay, France, 2019
• 
  Paulo Vitor de Campos Souza, Augusto Junio Guimarães, Vanessa Souza Araujo, Thiago Silva Rezende, Vinicius Jonathan Silva Araujo:
  Incremental regularized Data Density-Based Clustering neural networks to aid in the construction of effort forecasting systems in software development. Appl. Intell. 49(9): 3221-3234 (2019)
• 
  Chao-Tung Yang, Shuo-Tsung Chen, Yu-Wei Chan, Yu-Chuan Shen:
  On construction of a cloud storage system with heterogeneous software-defined storage technologies. Hum. centric Comput. Inf. Sci. 9: 12 (2019)
• 
  Xiaoming Yang:
  Discussion on the Construction of Computer Software Specialty in Private Institutions. DPTA 2019: 809-816
• 
  Jiajuan Fang:
  The Construction Method of Interactive Interface of Multimedia Network Teaching Software Based on Mozilla Platform. DSA 2019: 239-246
• 
  Quinten Rosseel, Geraint A. Wiggins:
  Engagement-Reflection in Software Construction. ICCC 2019: 321-325
• 
  Elisa L. A. Baniassad, Alice Campbell, Tiara Allidina, Asrai Ord:
  Teaching software construction at scale with mastery learning: a case study. ICSE (SEET) 2019: 182-191
• 
  Boyan Bontchev, Dessislava Vassileva, Yavor Dankov:
  The APOGEE Software Platform for Construction of Rich Maze Video Games for Education. ICSOFT 2019: 491-498
• 
  Ricardo Colomo Palacios:
  Towards a Software Engineering Framework for the Design, Construction and Deployment of Machine Learning-Based Solutions in Digitalization Processes. RIIFORUM 2019: 343-349
• 
  Youssef Baddi, Anass Sebbar, Karim Zkik, Mohammed Boulmalf, Mohamed Dâfir Ech-Cherif El Kettani:
  MSND: Multicast Software Defined Network Based Solution to Multicast Tree Construction. UNet 2019: 245-256
• 
  Tomás Vojnar, Lijun Zhang:
  Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I. Lecture Notes in Computer Science 11427, Springer 2019, ISBN 978-3-030-17461-3 [contents]

skipping 395 more matches