Software engineering and formal methods Bernhard AichernigBernhard Beckert Guest Editorial 11 June 2008 Pages: 255 - 256
Flexible and configurable verification policies with Omnibus Thomas WilsonSavi MaharajRobert G. Clark Special Section Paper 06 June 2007 Pages: 257 - 272
Formal analysis of human operator behavioural patterns in interactive surveillance systems Antonio CeroneSimon ConnellyPeter Lindsay Special Section Paper 21 December 2007 Pages: 273 - 286
Automatic maintenance of association invariants James WelchDavid FaitelsonJim Davies Special Section Paper 04 March 2008 Pages: 287 - 301
A methodology for the selection of requirements engineering techniques Li JiangArmin EberleinMajid Mousavi Regular Paper 30 June 2007 Pages: 303 - 328
MDA Tool Components: a proposal for packaging know-how in model driven development Reda BendraouPhilippe DesfrayAlexis Muller Regular Paper 23 May 2007 Pages: 329 - 343
Reducing accidental complexity in domain models Colin AtkinsonThomas Kühne Regular Paper 30 June 2007 Pages: 345 - 359
Improving the accuracy of UML metamodel extensions by introducing induced associations Xavier BurguésXavier FranchJosep M. Ribó Regular Paper 12 July 2007 Pages: 361 - 379