7th Asia-Pacific Software Engineering Conference
IEEE Computer Society, 2000 - Computers - 495 pages
These papers constitute the proceedings of the Seventh Asia-Pacific Software Engineering Conference (APSEC 2000). They address: software evolution; Internet applications engineering; requirements engineering; software architectures; software agents; tools and environments; and more.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Reasoning about RealTime Programs Using IdleInvariant Assertions
Software Engineering Education Practice I
Workload Issues in Computer Science Project Courses
46 other sections not shown
abstract agent algorithm analysis application approach architecture behavior CIMO class diagram classiﬁcations Command Pattern communication component component-based Computer Science concept conﬁguration constructs CORBA database defects deﬁned deﬁnition described design patterns difﬁcult distributed document domain environment estimation evaluation event example execution expression Figure ﬁle ﬁnal ﬁnd ﬁrst ﬂexible formal framework function fuzzy identiﬁed IEEE implementation inﬂuence input inspection inspector intemal interface knowledge slices language lexical analyzer mapping Meta Model method methodology model checking modiﬁcation node notation object object-oriented Object-Z operation paper pattems phase problem programming language project management reﬁnement relation requirements reuse satisﬁes schema semantics sequence diagrams signiﬁcant soﬁware software development software development process Software Engineering speciﬁcation Statechart structure tailoring task techniques test process Theorem tion tool transition use-case variables veriﬁcation workﬂow