Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker
Special Issue on the 18th Symposium on Applied Computing: Applications, Practices and Tools of Software Engineering
SAC-J-2003, 2004.

@article{SAC-J-2003,
	editor        = "Herbert H. Thompson and Chia-Chu Chiang and Ibrahim K. El-Far and Stefan Gruner and Markus Montigel and James A. Whittaker",
	journal       = "{Information & Software Technology}",
	number        = 5,
	title         = "{Special Issue on the 18th Symposium on Applied Computing: Applications, Practices and Tools of Software Engineering}",
	volume        = 46,
	year          = 2004,
}

Contents (11 items)

5 ×#testing
3 ×#on the
2 ×#development
2 ×#framework
2 ×#generative
2 ×#modelling

SAC-J-2003-TraoreAY04 #development #distributed #framework

An integrated framework for formal development of open distributed systems (IT, DBA, HY), pp. 281–286.

SAC-J-2003-BorgerCR04 #formal method #on the #state machine #uml #using

On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.

SAC-J-2003-Dong04 #behaviour #diagrams

Adding pattern related information in structural and behavioral diagrams (JD), pp. 293–300.

SAC-J-2003-MeloM04 #composition #framework #java #on the

On the composition of Java frameworks control-flows (ACVdM, BMM), pp. 301–307.

SAC-J-2003-CavarraCD04 #automation #generative #modelling #testing

A method for the automatic generation of test suites from object models (AC, CC, JD), pp. 309–314.

SAC-J-2003-Paradkar04 #consistency #generative #interactive #modelling #self #testing #towards

Towards model-based generation of self-priming and self-checking conformance tests for interactive system (AMP), pp. 315–322.

SAC-J-2003-Weyuker04 #how #testing

How to judge testing progress (EJW), pp. 323–328.

SAC-J-2003-YuNPC04 #on the #testing

On the testing methods used by beginning software testers (YTY, SPN, PLP, TYC), pp. 329–335.

SAC-J-2003-GeorgeW04 #agile #development #empirical #testing

A structured experiment of test-driven development (BG, LAW), pp. 337–342.

SAC-J-2003-FenicleW04

A secure methodology for interchangeable services (BF, TW), pp. 343–349.

SAC-J-2003-ShinjoKP04 #imperative #interface #performance

Efficient mediators with closures for handling dynamic interfaces in an imperative language (YS, TK, CP), pp. 351–357.