• DocumentCode
    2794530
  • Title

    Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000

  • fYear
    2000
  • fDate
    5-8 Dec. 2000
  • Abstract
    The following topics were dealt with: real-time systems; software engineering education and practice; formal methods; software reliability; systems analysis and design; program testing and verification; component-based development; requirements engineering; UML, Object-Z and Z; software maintenance; software architecture; and software metrics
  • Keywords
    computer science education; object-oriented programming; program testing; program verification; real-time systems; software engineering; specification languages; systems analysis; Object-Z; UML; Z language; component-based development; formal methods; program testing; program verification; real-time systems; requirements engineering; software architecture; software engineering; software engineering education; software maintenance; software metrics; software reliability; specification languages; system design; systems analysis;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Engineering Conference, 2000. APSEC 2000. Proceedings. Seventh Asia-Pacific
  • Conference_Location
    Singapore
  • ISSN
    1530-1362
  • Print_ISBN
    0-7695-0915-0
  • Type

    conf

  • DOI
    10.1109/APSEC.2000.896676
  • Filename
    896676