Tenth Asia-Pacific Software Engineering Conference (APSEC 2003) Book

	Conference chairs' message
	Program chairs' message
	Conference organizers
	Steering committee
	Program committee
	Reviewers
	Science of software changes	2
	Blueprint for real progress in software engineering	3
	Is there a happy marriage between software engineering and knowledge engineering?	4
	Matching software practitioner needs to researcher activities	6
	PAORE : package oriented requirements elicitation	17
	Generalising the Z schema calculus : database schemas and beyond	28
	An analysis of backward simulation data-refinement for partial relation semantics	38
	Academia and industry meet : some experiences of formal methods in practice	49
	Discovering use cases from source code using the branch-reserving call graph	60
	Understanding how the requirements are implemented in source code	68
	Regression test selection based on version changes of components	78
	Towards a sound modular model checking of collaboration-based software designs	88
	Controllability mechanism for object-oriented software testing	98
	Generating test Oracle for role binding in multi-agent systems	108
	An XVCL approach to handling variants : a KWIC product line example	116
	A domain analysis method for software product lines based on scenarios, goals and features	126
	Facilitating reuse of software components using repository technology	136
	Developing relational navigation to effectively understand software	144
	Re-documenting, visualizing and understanding software system using DocLike viewer	154
	The software concordance : using a uniform document model to integrate program analysis and hypermedia	164
	Implementing angelic nondeterminism	176
	Rigorous EBNF-based definition for a graphic modeling language	186
	Modular refinement in a novel schema calculi	197
	A two-level hierarchy software architecture framework for the manufacturing industry	208
	DRC : a dependence relationships based cohesion measure for classes	215
	A method of implementing UML virtual machines with some constraints based on abstract state machines	224
	A ontology-based process modelling for XP	236
	Modeling and Enacting software processes using VRPML	243
	A SCM workflow model for CMM organizations	253
	Implementing the postgreSQL query optimizer within the OPT++ framework	262
	Application method for process frame-work	273
	Awareness support in group-based software engineering education system	280
	An extensible framework for collaborative software engineering	290
	JINI/J2EE bridge for large-scale IP phone services	302
	Fault tolerant web service	310
	Tool support for generating passive C++ test Oracles from object-Z specifications	322
	Testing criteria for data flow software	332
	Challenging formal specifications by mutation : a CSP security example	340
	COTS characterization model in a COTS-based development environment	352
	An environment for evolutionary prototyping Java programs based on abstract interpretation	362
	Case study : reconnaissance technique to support feature location using RECON2	371
	Modeling complex systems by a set of interacting finite-state models	380
	Specifying roles within agent-oriented software engineering	390
	XSLT template design for generating the web presentation layer	396
	Automated test generation from object-oriented specifications of real-time reactive systems	406
	Formal verification of type flaw attacks in security protocols	415
	Reasoning about pointers in refinement calculus	425
	Ensuring compatible interactions within component-based software systems	436
	Specification matching of state-based modular components	446
	Selecting components : a process for context-driven evaluation	456
	Software engineering methods for neural networks	468
	Security-critical system development with extended use cases	478
	Developing secure networked web-based systems using model-based risk assessment and UMLsec	488
	Exploring the relationship between experience and group performance in software review	500
	Utilizing specification testing in review task trees for rigorous review of formal specifications	510
	An extension of the behavioral theory of group performance in software development technical reviews	520
	Extending the theory of Owicki and Gries with asynchronous message passing	532
	Psachno : a dynamic and generic discovery framework within a peer-to-peer network model	542
	Evaluating semantic warnings in VoIP programmable services with open source environment	552
	Implementing exception handling policies for workflow management system	564
	An extended policy language for role resolution in project-oriented workflow	574
	Author index	581