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

• 2010
• 
  Antonio Amescua, Leonardo Bermón-Angarita, Javier García Guzmán, María Isabel Sánchez Segura:
  Knowledge repository to improve agile development processes learning. IET Softw. 4(6): 434-444 (2010)
• 
  Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis:
  Compositional verification for component-based systems and application. IET Softw. 4(3): 181-193 (2010)
• 
  Janneth Chicaiza, Jorge López-Vargas, Nelson Piedra, Oscar Martínez Bonastre, Edmundo Tovar Caro:
  Usage of social and semantic web technologies to design a searching architecture for software requirement artefacts. IET Softw. 4(6): 407-417 (2010)
• 
  Y. Chung, D. Lee:
  Mathematical basis for the chaining of lossy interface adapters. IET Softw. 4(1): 43-54 (2010)
• 
  Steve Counsell, George Loizou, Rajaa Najjar:
  Evaluation of the 'replace constructors with creation methods' refactoring in Java systems. IET Softw. 4(5): 318-333 (2010)
• 
  Omer Deperlioglu, Y. Arslan:
  Design principles of web-based distance education system and sample application in Afyon Kocatepe University. IET Softw. 4(4): 283-293 (2010)
• 
  Ugo Erra, Giuseppe Scanniello:
  Assessing communication media richness in requirements negotiation. IET Softw. 4(2): 134-148 (2010)
• 
  Bernd Finkbeiner, Hans-Jörg Peter, Sven Schewe:
  Synthesising certificates in networks of timed automata. IET Softw. 4(3): 222-235 (2010)
• 
  Vincenzo De Florio, Chris Blondia:
  Design tool to express failure detection protocols. IET Softw. 4(2): 119-133 (2010)
• 
  Matthias Galster, Armin Eberlein, Mahmood Moussavi:
  Systematic selection of software architecture styles. IET Softw. 4(5): 349-360 (2010)
• 
  Roberto García, Rosa Gil, Juan Manuel Gimeno, Toni Granollers, Juan Miguel López, Marta Oliva, Afra Pascual:
  Semantic wiki for quality management in software development projects. IET Softw. 4(6): 386-395 (2010)
• 
  Iván A. García, Carla L. Pacheco, José Antonio Calvo-Manzano:
  Using a web-based tool to define and implement software process improvement initiatives in a small industrial setting. IET Softw. 4(4): 237-251 (2010)
• 
  Dimitra Giannakopoulou, Corina S. Pasareanu:
  Editorial: automated compositional verification. IET Softw. 4(3): 179-180 (2010)
• 
  Dunwei Gong, Xiangjuan Yao:
  Automatic detection of infeasible paths in software testing. IET Softw. 4(5): 361-370 (2010)
• 
  Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge:
  Understanding the complexity embedded in large routine call traces with a focus on program comprehension tasks. IET Softw. 4(2): 161-177 (2010)
• 
  Riham Hassan, Mohamed Eltoweissy, Shawn A. Bohner, Sherif El-Kassas:
  Formal analysis and design for engineering security automated derivation of formal software security specifications from goal-oriented security requirements. IET Softw. 4(2): 149-160 (2010)
• 
  Hannu Jaakkola, Bernhard Thalheim:
  Framework for high-quality software design and development: a systematic approach. IET Softw. 4(2): 105-118 (2010)
• 
  Fei-Ching Kuo, Zhiquan Zhou, Jun Ma, Guangquan Zhang:
  Metamorphic testing of decision support systems: a case study. IET Softw. 4(4): 294-301 (2010)
• 
  Jaiprakash T. Lallchandani, Rajib Mall:
  Integrated state-based dynamic slicing technique for UML models. IET Softw. 4(1): 55-78 (2010)
• 
  Lech Madeyski, N. Radyk:
  Judy - a mutation testing tool for Java. IET Softw. 4(1): 32-42 (2010)
• 
  Dharmalingam Jeya Mala, Vasudev Mohan, M. Kamalapriya:
  Automated software test optimisation framework - an artificial bee colony optimisation-based approach. IET Softw. 4(5): 334-348 (2010)
• 
  Ricardo Martinho, João Varajão, Dulce Domingos:
  Using the semantic web to define a language for modelling controlled flexibility in software processes. IET Softw. 4(6): 396-406 (2010)
• 
  María Ángeles Moraga, Coral Calero, Manuel F. Bertoa:
  Improving interpretation of component-based systems quality through visualisation techniques. IET Softw. 4(1): 79-90 (2010)
• 
  Francisco Ortin, Daniel Zapico Palacio, J. Baltasar García Pérez-Schofield, Miguel García:
  Including both static and dynamic typing in the same programming language. IET Softw. 4(4): 268-282 (2010)
• 
  Ricardo Colomo Palacios, Juan Miguel Gómez-Berbís:
  Social semantic web support for software development [Editorial]. IET Softw. 4(6): 371-372 (2010)
• 
  Pavel Parízek, Frantisek Plásil:
  Assume-guarantee verification of software components in SOFA 2 framework. IET Softw. 4(3): 210-211 (2010)
• 
  Raman Ramsin, Richard F. Paige:
  Iterative criteria-based approach to engineering the requirements of software development methodologies. IET Softw. 4(2): 91-104 (2010)
• 
  Pedro Soto-Acosta, Cristina Casado-Lumbreras, Fernando Cabezas-Isla:
  Shaping human capital in software development teams: the case of mentoring enabled by semantics. IET Softw. 4(6): 445-452 (2010)
• 
  Oksana Tkachuk, Matthew B. Dwyer:
  Environment generation for validating event-driven software using model checking. IET Softw. 4(3): 194-209 (2010)
• 
  Marco Torchiano, Filippo Ricca, Paolo Tonella:
  Empirical comparison of graphical and annotation-based re-documentation approaches. IET Softw. 4(1): 15-31 (2010)

skipping 5 more matches