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

• 2007
• 
  Krzysztof Sacha:
  Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland. IFIP 227, Springer 2007, ISBN 978-0-387-39387-2 [contents]
• 2006
• 
  Nour Ali, Jennifer Pérez, Cristóbal Costa Soria, Isidro Ramos, José A. Carsí:
  Mobile Ambients in Aspect-Oriented Software Architectures. SET 2006: 37-48
• 
  Tomasz Babczynski, Jan Magott:
  Estimation of mean response time of multi-agent systems. SET 2006: 109-113
• 
  Barbara Begier, Jacek Wdowicki:
  Feedback from Users on a Software Product to Improve Its Quality in Engineering Applications. SET 2006: 167-178
• 
  Bartosz Bogacki, Bartosz Walter:
  Aspect-oriented Response Injection: an Alternative to Classical Mutation Testing. SET 2006: 273-282
• 
  Andreas Bollin:
  Crossing the Borderline - From Formal to Semi-Formal Specifications. SET 2006: 73-84
• 
  Jacek Chrzaszcz, Tomasz Stachowicz, Andrzej Gasienica-Samek, Aleksy Schubert:
  Minik: A Tool for Maintaining Proper Java Code Structure. SET 2006: 361-371
• 
  Pawel Czarnul:
  Reaching and Maintaining High Quality of Distributed J2EE Applications - BeesyCluster Case Study. SET 2006: 179-190
• 
  Anna Derezinska:
  Advanced mutation operators applicable in C# programs. SET 2006: 283-288
• 
  Maciej Dorsz, Mariusz Wasielewski:
  Automatic software validation process. SET 2006: 191-197
• 
  Iwona Dubielewicz, Bogumila Hnatkowska, Zbigniew Huzar, Lech Tuzinkiewicz:
  An Approach to Software Quality Specification and Evaluation (SPoQE). SET 2006: 155-166
• 
  Norman E. Fenton, Lukasz Radlinski, Martin Neil:
  Improved Bayesian Networks for Software Project Risk Assessment Using Dynamic Discretisation. SET 2006: 139-148
• 
  Juan P. Galeotti, Marcelo F. Frias:
  DynAlloy as a Formal Method for the Analysis of Java Programs. SET 2006: 249-260
• 
  Kurt Geihs, Mohammad Ullah Khan, Roland Reichle, Arnor Solberg, Svein O. Hallsteinsen:
  Modeling of Component-Based Self-Adapting Context-Aware Applications for Mobile Devices. SET 2006: 85-96
• 
  Krzysztof Goczyla, Teresa Zawadzka, Michal Zawadzki:
  Managing Data from Heterogeneous Data Sources Using Knowledge Layer. SET 2006: 301-312
• 
  Marcin Gorawski, Pawel Marks:
  Checkpoint-based resumption in data warehouses. SET 2006: 313-323
• 
  Timea Illes, Barbara Paech:
  An Analysis of Use Case Based Testing Approaches Based on a Defect Taxonomy. SET 2006: 211-222
• 
  Tereza G. Kirner, Lourdes E. Gonçalves:
  Software Risk Management: a Process Model and a Tool. SET 2006: 149-154
• 
  Pawel Klaczewski, Jacek Wytrebowicz:
  j2eeprof - a tool for testing multitier applications. SET 2006: 199-210
• 
  Piotr Kolaczkowski, Ilona Bluemke:
  A C++ Workbench with Accurate Non-Blocking Garbage Collector for Server Side Internet Applications. SET 2006: 15-24
• 
  Leszek Kotulski, Adrian Nowak:
  Formalizing Software Refactoring in the Distributed Environment by aedNLC Graph Grammar. SET 2006: 349-360
• 
  Henryk Krawczyk, Konrad Dusza, Lukasz Budnik, Lukasz Byczkowski:
  Multidimensional Legacy Aspects of Modernizing Web Based Systems. SET 2006: 373-378
• 
  Konrad Kulakowski:
  Hybrid modeling and verification of Java based software. SET 2006: 121-126
• 
  Bixin Li, Yancheng Wang, Lili Yang:
  An Integrated Regression Testing Framework to Multi-Threaded Java Programs. SET 2006: 237-248
• 
  Leszek A. Maciaszek:
  From Hubs Via Holons to an Adaptive Meta-Architecture - the "AD-HOC" Approach. SET 2006: 1-13
• 
  Gergely Mezei, Tihamer Levendovszky, Hassan Charaf:
  An optimizing OCL Compiler for Metamodeling and Model Transformation Environments. SET 2006: 61-71
• 
  Jerzy Miescicki:
  Verification of UML State Diagrams Using Concurrent State Machines. SET 2006: 261-271
• 
  Tilo Mücke, Michaela Huhn:
  Minimizing Test Execution Time During Test Generation. SET 2006: 223-235
• 
  Pawel Pierzchalka:
  An evolutionary approach to project management process improvement for software-intensive projects. SET 2006: 127-138
• 
  Krzysztof Sacha:
  Preface. SET 2006: v

skipping 7 more matches