Entry Lowe:1995:RCS from compj.bib

Last update: Sun Nov 30 02:31:30 MST 2003                Valid HTML 3.2!

Index sections

Top | Symbols | Numbers | Math | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

BibTeX entry

@Article{Lowe:1995:RCS,
  author =       "Gavin Lowe and Hussein Zedan",
  title =        "Refinement of Complex Systems: {A} Case Study",
  journal =      j-COMP-J,
  volume =       "38",
  number =       "10",
  pages =        "785--800",
  month =        "????",
  year =         "1995",
  CODEN =        "CMPJA6",
  ISSN =         "0010-4620",
  bibdate =      "Wed Jul 21 09:54:40 MDT 1999",
  bibsource =    "http://www3.oup.co.uk/computer_journal/Volume_38/Issue_10/Vol38_10.index.html",
  URL =          "http://www3.oup.co.uk/computer_journal/Volume_38/Issue_10/Vol38_10.body.html#AbstractLowe",
  acknowledgement = ack-nhfb,
  author-1-adr = "Programming Research Group, Oxford University
                 Computing Laboratory, Wolfson Building, Parks Road,
                 Oxford, OX1 3QD, UK",
  author-2-adr = "School of Computing Sciences, De Montfort University,
                 Leicester, United Kingdom",
  classcodes =   "C6110F (Formal methods); C6140D (High level
                 languages); C4210 (Formal logic)",
  corpsource =   "Comput. Lab., Oxford Univ., UK",
  keywords =     "abstract specifications; avionics; case study; complex
                 systems refinement; formal specification; industry;
                 Model; properties; refinement calculus; refinement
                 process; refinement techniques; scheduler; scheduling;
                 sound refinement laws; specification languages;
                 specification paradigm; temporal; Temporal Agent;
                 temporal logic; temporal requirements; wide spectrum
                 language",
  treatment =    "P Practical",
}

Related entries