Journal: Information \& Software Technology

Volume 40, Issue 9

463 -- 474J. Artur Serrano, Ray Welland. VC:::t::: - a formal language for the specification of diagrammatic modelling techniques
475 -- 492A. M. Zendler. Foundation of the taxonomic object system
493 -- 499Fritz H. Grupe, Robert Urwiler, Narender K. Ramarapu, Mehdi Owrang. The application of case-based reasoning to the software development process
501 -- 510Juhani Iivari, Jari Maansaari. The usage of systems development methods: are we stuck to old practices?

Volume 40, Issue 8

409 -- 415Gerard Horgan, Souheil Khaddaj, Peter Forte. Construction of an FPA-type metric for early lifecycle estimation
417 -- 433Michalis Glykas, George Valiris. Management science semantics for object-oriented business modelling in BPR
435 -- 442Dianxiang Xu. A logic based language for networked agents
443 -- 454Albert Alderson, M. Elizabeth C. Hull, K. Jackson, L. E. Griffiths. Method engineering for industrial real-time and embedded systems

Volume 40, Issue 7

359 -- 367David M. Gee. Formal specification of visual languages
369 -- 380Ravi Erraguntla, Doris L. Carver. Migration of sequential systems to parallel environments by reverse engineering
381 -- 396Charles J. Kacmar, Jane Carey, Mark Aleaxander. Providing workflow services using a programmable hypermedia environment
397 -- 404Nobuhiro Ito, Kouichi Nakagawa, Takahiro Hotta, Xiaoyong Du, Naohiro Ishii. EAMMO: an environmental agent model for multiple objects

Volume 40, Issue 5-6

253 -- 257Tetsuo Tamai. Abstraction orientated property of software and its relation to patentability
259 -- 269Woei-Jiunn Tsaur, Shi-Jinn Horng. A new generalized software complexity metric for distributed programs
271 -- 280Judith Barnard. COMX: a design methodology using communicating X-machines
281 -- 290Djamel Eddine Zegour, Gérard Lévy. CONCORD: an environment of CONstruction, CORrection anD transformation of algorithms
291 -- 309Anupam Sinha, Pradip Kumar Das, Dhruba Basu. Implementation and timing analysis of Clock Synchronization on a transputer-based replicated system
311 -- 325Jason Jen-Yen Chen, Shih-Chien Chou. Enacting object-oriented methods by a process environment
327 -- 337Beng Chin Ooi, Cheng Hian Goh, Kian-Lee Tan. Indexing bitemporal databases as points
339 -- 345Lars Bo Eriksen, Jan Stage. A qualitative empirical study of case tool support to method learning
347 -- 354T. Y. Chen, M. F. Lau. A new heuristic for test suite reduction

Volume 40, Issue 4

195 -- 201Donald J. Bagert. A model for the software engineering component of a computer science curriculum
203 -- 209Robert Biddle, Ewan D. Tempero. Teaching programming by teaching principles of reusability
211 -- 219Jan J. van Amstel. The group education and training: IT s basic courses in Philips
221 -- 227Pearl Brereton, S. Lees, M. Gumbley, Cornelia Boldyreff, Sarah Drummond, Paul J. Layzell, Linda A. Macaulay, R. Young. Distributed group working in software engineering education
229 -- 232Michael W. Godfrey. Teaching software engineering to a mixed audience
233 -- 238Ann E. Kelley Sobel. Applying an operational formal method throughout software engineering education
239 -- 244Jochen Ludewig, Ralf Reißing. Teaching what they need instead of teaching what we like - the new software engineering curriculum at the University of Stuttgart
245 -- 248Kari Alho. Using the World Wide Web to assist software project course work

Volume 40, Issue 3

123 -- 133Keith Phalp, Peter Henderson, Robert John Walters, Geetha Abeysinghe. RolEnact: role-based enactable models of business processes
135 -- 142Leonor Barroca, Pedro Rangel Henriques. A framework and patterns for the specification of reactive systems
143 -- 156Selmin Nurcan. Analysis and design of co-operative work processes: a framework
157 -- 173Sang-Won Lee, Hyoung-Joo Kim. A model of schema versions for object-oriented databases based on the concept of rich base schema
175 -- 185Christof Ebert. Putting requirement management into praxis: dealing with nonfunctional requirements

Volume 40, Issue 2

59 -- 68Chuk Yau, Ho Leung Tsoi. Modelling the probabilistic behaviour of function point analysis
69 -- 78Jahangir Karimi, M. K. Zand. Asset-based system and software system development - A frame-based approach
79 -- 92Soon-Young Huh. An object-oriented database model for a change management framework in workgroup computing systems
93 -- 103J. S. Davis. Active help found beneficial in wizard of oz study
105 -- 118Martin R. Woodward, Stephen P. Allen. Slicing algebraic specifications

Volume 40, Issue 14

793 -- 794Stephen G. Linkman. Evaluation and assessment in software engineering 1998
795 -- 799Michelle Cartwright. An empirical view of inheritance
801 -- 809Ming Zhao, Claes Wohlin, Niclas Ohlsson, Min Xie. A comparison between software design and code metrics for the prediction of software fault content
811 -- 821Lesley Pickard, Barbara A. Kitchenham, Peter Jones. Combining empirical results in software engineering
823 -- 829Babak Khazaei, Jawed I. A. Siddiqi, Rick Osborn, Chris Roast. Templates and tariffs - tools for empirical studies
831 -- 839Magnus C. Ohlsson, Claes Wohlin, Björn Regnell. A project effort estimation study
841 -- 849Emilia Mendes, Rachel Harrison, Wendy Hall. Reusability and maintainability in hypermedia applications for education
851 -- 860David J. Carney, Kurt C. Wallnau. A basis for evaluation of commercial software
861 -- 864Maurizio Pighin. An empirical quality measure based on complexity values
865 -- 869A. J. Walker. Improving the quality of ISO 9001 audits in the field of software
871 -- 875Ronald J. Leach, Claude A. Charles, Kenrick Fagan, Thembi Kimbrough, Kai R. Thomas. A re-engineering process using early decomposition and simple tools

Volume 40, Issue 13

731 -- 744Keith Phalp. The CAP framework for business process modelling
745 -- 764Tullio Vardanega, Jan van Katwijk. Productive engineering of predictable embedded real-time systems: the road to maturity
765 -- 775T. Y. Chen, P. L. Poon. On the effectiveness of classification trees for test case construction
777 -- 787T. Y. Chen, M. F. Lau. A simulation study on some heuristics for test suite reduction

Volume 40, Issue 11-12

577 -- 581Mark Harman, Keith Brian Gallagher. Program slicing
583 -- 594David Binkley. The application of program slicing to regression testing
595 -- 607Gerardo Canfora, Aniello Cimitile, Andrea De Lucia. Conditioned program slicing
609 -- 636John Field, Frank Tip. Dynamic dependence in term rewriting systems and its application to program slicing
637 -- 645Mariam Kamkar. Application of program slicing in algorithmic debugging
647 -- 659Bogdan Korel, Juergen Rilling. Dynamic program slicing methods
661 -- 675Jens Krinke, Gregor Snelting. Validation of measurement software as an application of slicing and constraint solving
677 -- 689Arun Lakhotia, Jean-Christophe Deprez. Restructuring programs by tucking statements into functions
691 -- 699Linda M. Ott, James M. Bieman. Program slices as an abstraction for cohesion measurement
701 -- 726Thomas W. Reps. Program analysis via graph reachability

Volume 40, Issue 10

519 -- 540Arthur H. M. ter Hofstede, Henderik Alex Proper. How to formalize it?: Formalization principles for information system development methods
541 -- 553Z. Chen. Toward a better understanding of idea processors
555 -- 565Pedro Ramos, José Luiz Fiadeiro. A computational tool that supports formal diagnosis of process design

Volume 40, Issue 1

1 -- 14György Kovács, Patrick van Bommel. Conceptual modelling-based design of object-oriented databases
15 -- 25Hee Beng Kuan Tan, Hua Koon Tan. Reuse of components in data-intensive business programs through interface separation
27 -- 35Wentong Cai, Bu-Sung Lee. File allocation with balanced response time in a distributed multi-server information system
37 -- 44Aleksander Zgrzywa. The evaluation of the response time for a tourist agency s service sytem
45 -- 53Woochun Jun, Le Gruenwald. An effective class hierarchy concurrency control technique in object-oriented database systems