Volume 46, Number 1, 1 January 2004
Volume 46, Number 2, 1 February 2004
Volume 46, Number 3, March 2004
Volume 46, Number 4, 15 March 2004
Volume 46, Number 5, 15 April 2004
- Herbert H. Thompson, Chia-Chu Chiang, Ibrahim K. El-Far, Stefan Gruner, Markus Montigel, James A. Whittaker:
Special Issue on Software Engineering: Applications, Practices and Tools from the ACM Symposium on Applied Computing 2003.
279-280

- Issa Traoré, Demissie B. Aredo, Hong Ye:
An integrated framework for formal development of open distributed systems.
281-286

- Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
On formalizing UML state machines using ASM.
287-292

- Jing Dong:
Adding pattern related information in structural and behavioral diagrams.
293-300

- Ana Cristina Vieira de Melo, Bruno M. Moutinho:
On the composition of Java frameworks control-flows.
301-307

- Alessandra Cavarra, Charles Crichton, Jim Davies:
A method for the automatic generation of test suites from object models.
309-314

- Amit M. Paradkar:
Towards model-based generation of self-priming and self-checking conformance tests for interactive system.
315-322

- Elaine J. Weyuker:
How to judge testing progress.
323-328

- Yuen-Tak Yu, Sebastian P. Ng, Pak-Lok Poon, Tsong Yueh Chen:
On the testing methods used by beginning software testers.
329-335

- Boby George, Laurie A. Williams:
A structured experiment of test-driven development.
337-342

- Brian Fenicle, Tim Wahls:
A secure methodology for interchangeable services.
343-349

- Yasushi Shinjo, Toshiyuki Kubo, Calton Pu:
Efficient mediators with closures for handling dynamic interfaces in an imperative language.
351-357

Volume 46, Number 6, 1 May 2004
Volume 46, Number 7, June 2004
- Jyhjong Lin, Ming-Chang Lee:
An object-oriented analysis method for customer relationship management information systems.
433-443

- Nadia Erdogan, Yunus Emre Selçuk, Ozgur Koray Sahingoz:
A distributed execution environment for shared java objects.
445-455

- Maozhen Li, David W. Walker, Omer F. Rana, Yan Huang:
Migrating legacy codes to distributed computing environments: a CORBA approach.
457-464

- Les Hatton:
Safer language subsets: an overview and a case history, MISRA C.
465-472

- Ian R. McChesney, Séamus Gallagher:
Communication and co-ordination practices in software engineering projects.
473-489

- Souheil Khaddaj, Abdul Adamu, Minur Morad:
Object versioning and information management.
491-498

Volume 46, Number 8, 15 June 2004
Volume 46, Number 9, 1 July 2004
Volume 46, Number 10, August 2004
- Javier Andrade Garda, Juan Ares Casal, Rafael García Vázquez, Juan Pazos, Santiago Rodríguez Yánez, Andrés Silva:
A methodological framework for generic conceptualisation: problem-sensitivity in software engineering.
635-649

- Charles Iheagwara, Andrew Blyth, Timm Kevin, David Kinn:
Cost effective management frameworks: the impact of IDS deployment technique on threat mitigation.
651-664

- Jan van Moll, Jef Jacobs, Rob J. Kusters, Jos J. M. Trienekens:
Defect detection oriented lifecycle modeling in complex product development.
665-675

- Letha H. Etzkorn, Sampson Gholston, Julie Fortune, Cara Stein, Dawn R. Utley, Phillip A. Farrington, Glenn W. Cox:
A comparison of cohesion metrics for object-oriented systems.
677-687

- Jitender Kumar Chhabra, K. K. Aggarwal, Yogesh Singh:
Measurement of object-oriented software spatial complexity.
689-699

Volume 46, Number 11, 1 September 2004
- Panos Kardasis, Pericles Loucopoulos:
Expressing and organising business rules.
701-718

- Gregoris Tziallas, Babis Theodoulidis:
A controller synthesis algorithm for building self-adaptive software.
719-727

- Shih-Chien Chou:
Dynamic adaptation to object state change in an information flow control model.
729-737

- Ho-Hyun Park, Jun-Ki Min, Chin-Wan Chung, Tae-Gyu Chang:
Multi-way R-tree joins using indirect predicates.
739-751

- Ramon Lawrence:
The space efficiency of XML.
753-759

- Didar Zowghi, Vincenzo Gervasi:
Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution" [Information and Software Technology 45 (2003) 993-1009].
761

- Didar Zowghi, Vincenzo Gervasi:
Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution".
763-779

Volume 46, Number 12, 15 September 2004
Volume 46, Number 13, 1 October 2004
Volume 46, Number 14, 1 November 2004
Volume 46, Number 15, 1 December 2004
- Huimin Lin, Hans-Dieter Ehrich, T. H. Tse:
Editorial.
987-988

- Kai-Yuan Cai, Yong-Chao Li, Ke Liu:
Optimal and adaptive testing for software reliability assessment.
989-1000

- Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, Sebastian P. Ng:
Mirror adaptive random testing.
1001-1010

- Peter Dybjer, Qiao Haiyan, Makoto Takeyama:
Verifying Haskell programs by combining testing, model checking and interactive theorem proving.
1011-1025

- Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes:
Instrumenting scenarios in a model-driven development environment.
1027-1036

- Bernard Wong:
The software evaluation framework 'SEF' extended.
1037-1047

Last update Tue May 21 19:07:01 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page