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
Electronic Edition (link) BibTeX
- Issa Traoré, Demissie B. Aredo, Hong Ye:
An integrated framework for formal development of open distributed systems.
281-286
Electronic Edition (link) BibTeX
- Egon Börger, Alessandra Cavarra, Elvinia Riccobene:
On formalizing UML state machines using ASM.
287-292
Electronic Edition (link) BibTeX
- Jing Dong:
Adding pattern related information in structural and behavioral diagrams.
293-300
Electronic Edition (link) BibTeX
- Ana Cristina Vieira de Melo, Bruno M. Moutinho:
On the composition of Java frameworks control-flows.
301-307
Electronic Edition (link) BibTeX
- Alessandra Cavarra, Charles Crichton, Jim Davies:
A method for the automatic generation of test suites from object models.
309-314
Electronic Edition (link) BibTeX
- Amit M. Paradkar:
Towards model-based generation of self-priming and self-checking conformance tests for interactive system.
315-322
Electronic Edition (link) BibTeX
- Elaine J. Weyuker:
How to judge testing progress.
323-328
Electronic Edition (link) BibTeX
- Yuen-Tak Yu, Sebastian P. Ng, Pak-Lok Poon, Tsong Yueh Chen:
On the testing methods used by beginning software testers.
329-335
Electronic Edition (link) BibTeX
- Boby George, Laurie A. Williams:
A structured experiment of test-driven development.
337-342
Electronic Edition (link) BibTeX
- Brian Fenicle, Tim Wahls:
A secure methodology for interchangeable services.
343-349
Electronic Edition (link) BibTeX
- Yasushi Shinjo, Toshiyuki Kubo, Calton Pu:
Efficient mediators with closures for handling dynamic interfaces in an imperative language.
351-357
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Nadia Erdogan, Yunus Emre Selçuk, Ozgur Koray Sahingoz:
A distributed execution environment for shared java objects.
445-455
Electronic Edition (link) BibTeX
- Maozhen Li, David W. Walker, Omer F. Rana, Yan Huang:
Migrating legacy codes to distributed computing environments: a CORBA approach.
457-464
Electronic Edition (link) BibTeX
- Les Hatton:
Safer language subsets: an overview and a case history, MISRA C.
465-472
Electronic Edition (link) BibTeX
- Ian R. McChesney, Séamus Gallagher:
Communication and co-ordination practices in software engineering projects.
473-489
Electronic Edition (link) BibTeX
- Souheil Khaddaj, Abdul Adamu, Minur Morad:
Object versioning and information management.
491-498
Electronic Edition (link) BibTeX
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
Electronic Edition (link) BibTeX
- Charles Iheagwara, Andrew Blyth, Timm Kevin, David Kinn:
Cost effective management frameworks: the impact of IDS deployment technique on threat mitigation.
651-664
Electronic Edition (link) BibTeX
- Jan van Moll, Jef Jacobs, Rob J. Kusters, Jos J. M. Trienekens:
Defect detection oriented lifecycle modeling in complex product development.
665-675
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Jitender Kumar Chhabra, K. K. Aggarwal, Yogesh Singh:
Measurement of object-oriented software spatial complexity.
689-699
Electronic Edition (link) BibTeX
Volume 46,
Number 11,
1 September 2004
- Panos Kardasis, Pericles Loucopoulos:
Expressing and organising business rules.
701-718
Electronic Edition (link) BibTeX
- Gregoris Tziallas, Babis Theodoulidis:
A controller synthesis algorithm for building self-adaptive software.
719-727
Electronic Edition (link) BibTeX
- Shih-Chien Chou:
Dynamic adaptation to object state change in an information flow control model.
729-737
Electronic Edition (link) BibTeX
- Ho-Hyun Park, Jun-Ki Min, Chin-Wan Chung, Tae-Gyu Chang:
Multi-way R-tree joins using indirect predicates.
739-751
Electronic Edition (link) BibTeX
- Ramon Lawrence:
The space efficiency of XML.
753-759
Electronic Edition (link) BibTeX
- 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
Electronic Edition (link) BibTeX
- Didar Zowghi, Vincenzo Gervasi:
Erratum to "On the interplay between consistency, completeness, and correctness in requirements evolution".
763-779
Electronic Edition (link) BibTeX
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 BibTeX
- Kai-Yuan Cai, Yong-Chao Li, Ke Liu:
Optimal and adaptive testing for software reliability assessment.
989-1000
Electronic Edition (link) BibTeX
- Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, Sebastian P. Ng:
Mirror adaptive random testing.
1001-1010
Electronic Edition (link) BibTeX
- Peter Dybjer, Qiao Haiyan, Makoto Takeyama:
Verifying Haskell programs by combining testing, model checking and interactive theorem proving.
1011-1025
Electronic Edition (link) BibTeX
- Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes:
Instrumenting scenarios in a model-driven development environment.
1027-1036
Electronic Edition (link) BibTeX
- Bernard Wong:
The software evaluation framework 'SEF' extended.
1037-1047
Electronic Edition (link) BibTeX
Copyright © Sun May 17 00:03:42 2009
by Michael Ley (ley@uni-trier.de)
