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

• 1991
• 
  Thomas Rose, Matthias Jarke, Michael Gocek, Carlos Maltzahn, Hans W. Nissen:
  A decision based configuration process environment. Softw. Eng. J. 6(5): 332-346 (1991)
• 
  Will Atkinson, Jim Cunningham:
  Proving properties of a safety-critical system. Softw. Eng. J. 6(2): 41-50 (1991)
• 
  Elizabeth Jean Baillie:
  A CCS cast study: a safety-critical system. Softw. Eng. J. 6(4): 159-167 (1991)
• 
  Victor R. Basili, H. Dieter Rombach:
  Support for comprehensive reuse. Softw. Eng. J. 6(5): 303-316 (1991)
• 
  P. A. Bennett:
  Forwards to safety standards. Softw. Eng. J. 6(2): 37-40 (1991)
• 
  Gilles Bernot, Marie-Claude Gaudel, Bruno Marre:
  Software testing based on formal specifications: a theory and a tool. Softw. Eng. J. 6(6): 387-405 (1991)
• 
  Bruce I. Blum:
  A ten year evaluation of an atypical software environment. Softw. Eng. J. 6(5): 347-354 (1991)
• 
  A. Burns:
  Scheduling hard real-time systems: a review. Softw. Eng. J. 6(3): 116-128 (1991)
• 
  A. Burns:
  The HCI component of dependable real-time systems. Softw. Eng. J. 6(4): 168-174 (1991)
• 
  Paul Butcher:
  A behavioural semantics for Linda-2. Softw. Eng. J. 6(4): 196-204 (1991)
• 
  John N. Buxton, R. Malcolm:
  Software technology transfer. Softw. Eng. J. 6(1): 17-23 (1991)
• 
  William Campbell:
  A C interpreter for Scheme-an exercise in object-oriented design. Softw. Eng. J. 6(4): 130-136 (1991)
• 
  Ming-Jie Chen, Chyan-Goei Chung:
  Restructuring operations for data-flow diagrams. Softw. Eng. J. 6(4): 181-195 (1991)
• 
  Houssine Chetto, Maryline Chetto:
  An adaptive scheduling algorithm for fault-tolerant real-time systems. Softw. Eng. J. 6(3): 93-100 (1991)
• 
  Reidar Conradi, Espen Osjord, Per H. Westby, Chunnian Liu:
  Initial software process management in EPOS. Softw. Eng. J. 6(5): 275-284 (1991)
• 
  W. J. Cullyer, S. J. Goodenough, Brian A. Wichmann:
  The choice of computer languages for use in safety-critical systems. Softw. Eng. J. 6(2): 51-58 (1991)
• 
  Inger V. Eriksson, Aimo A. Törn:
  A model for IS quality [information systems]. Softw. Eng. J. 6(4): 152-158 (1991)
• 
  Narain H. Gehani:
  Concurrent C: real-time programming and fault tolerance. Softw. Eng. J. 6(3): 83-92 (1991)
• 
  Stephen J. Goldsack, A. C. W. Finkelstein:
  Requirements engineering for real-time systems. Softw. Eng. J. 6(3): 101-115 (1991)
• 
  Bjørn Gulla, Even-André Karlsson, Dashing Yeh:
  Change-oriented version descriptions in EPOS. Softw. Eng. J. 6(6): 378-386 (1991)
• 
  M. Elizabeth C. Hull, Peter G. O'Donoghue, B. J. Hagan:
  MOON-modular object-oriented notation. Softw. Eng. J. 6(1): 25-33 (1991)
• 
  Watts S. Humphrey:
  Software and the factory paradigm. Softw. Eng. J. 6(5): 370-376 (1991)
• 
  Hermann Kopetz, Ralph Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz:
  The design of real-time systems: from specification to implementation and verification. Softw. Eng. J. 6(3): 72-82 (1991)
• 
  M. M. Lehman:
  Software engineering, the software process and their support. Softw. Eng. J. 6(5): 243-258 (1991)
• 
  Karl J. Lieberherr, Paul L. Bergstein, Ignacio Silva-Lepe:
  From objects to classes: algorithms for optimal object-oriented design. Softw. Eng. J. 6(4): 205-228 (1991)
• 
  Nazim H. Madhavji:
  The process cycle [software engineering]. Softw. Eng. J. 6(5): 234-242 (1991)
• 
  Neil A. M. Maiden:
  Analogy as a paradigm for specification reuse. Softw. Eng. J. 6(1): 3-15 (1991)
• 
  Naftaly H. Minsky:
  Law-governed systems. Softw. Eng. J. 6(5): 285-302 (1991)
• 
  M. Myers, A. A. Kaposi:
  Modelling and measurement of Prolog data. Softw. Eng. J. 6(6): 413-434 (1991)
• 
  Ataru T. Nakagawa, Kokichi Futatsugi:
  Propagating changes in algebraic specifications. Softw. Eng. J. 6(6): 476-486 (1991)

skipping 11 more matches