


default search action
Information & Software Technology, Volume 38
Volume 38, Number 1, 1996
- Abdulazeez S. Boujarwah, Nadia Al-Seif, Kassem Saleh:

Modelling the semantics of multitasking facilities in Concurrent C using Petri nets. 3-9 - Timo Niemi, Kalervo Järvelin:

The processing strategy for the NF2 relational frc-interface. 11-24 - Norihide Hattori, Naohiro Ishii:

A method to remove variations in source codes. 25-36 - Oscar Díaz

:
Object-oriented systems: a cross-discipline overview. 47-57 - Marek Machura:

Object-oriented environments: the Mjølner approach : J. L. Knudsen, M. Lofgren, O. Lehrmann-Madsen and B. Magnusson (eds.) Prentice-Hall, 1993, 627 pp, ISBN 0-13-009291-6. 59-60
Volume 38, Number 2, 1996
- Robert T. Hughes:

Expert judgement as an estimating method. 67-75 - Janet Low, Jim Johnson, Patrick A. V. Hall, Fiona Hovenden, Janet Rachel, Hugh Robinson, Steve Woolgar:

Read this and change the way you feel about software engineering. 77-87 - Peter G. O'Donoghue, M. Elizabeth C. Hull:

Using timed CSP during object oriented design of real-time systems. 89-102 - Cheng-Yao Ni, Shyan-Ming Yuan

:
DITSE: an experimental distributed database system. 103-110 - C. J. Burgess, M. Saidi:

The automatic generation of test cases for optimizing Fortran compilers. 111-119 - Jim Abu-Ras:

Priority inheritance protocol in Ada 95. 121-125
Volume 38, Number 3, March 1996
- Michael Dyer:

Editorial. 131 - Mikio Aoyama:

Beyond software factories: concurrent-development process and an evolution of software process technology in Japan. 133-143 - Motoei Azuma:

Software products evaluation system: quality models, metrics and processes - International Standards and Japanese practice. 145-154 - Koji Torii, Ken-ichi Matsumoto:

Quantitative analytic approaches in software engineering. 155-163 - Sadahiro Isoda:

Software reuse in Japan. 165-171 - Tsuneo Ajisaka:

The software quark model: a universal model for CASE repositories. 173-180 - Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira

:
MENDELS ZONE: A parallel program development system based on formal specifications. 181-189 - Kumiyo Nakakoji, Atsushi Aoki, Brent Reeves:

Knowledge-based cognitive support for multimedia information design. 191-200 - Yuzuru Tanaka:

IntelligentPad as meme media and its application to multimedia databases. 201-211 - Jun Munemori, Yoji Nagasawa:

GUNGEN: groupware for a new idea generation support system. 213-220 - Eiji Kuwana, Eiji Yana, Yasuhisa Sakamoto, Yuzou Nakamura, Keitaro Horikawa:

Computer-supported meeting environment for collaborative software development. 221-228 - Toru Takeshita:

Software technologies created in Japan. 229-238 - Ken Sakamura:

The TRON Project. 239-251
Volume 38, Number 4, 1996
- Sjaak Brinkkemper, Stef Joosten

:
Editorial. 259 - Steven Kelly

, Kari Smolander
:
Evolution and issues in metaCASE. 261-266 - Bashar Nuseibeh, Anthony Finkelstein, Jeff Kramer:

Method engineering for multi-perspective software development. 267-274 - Sjaak Brinkkemper:

Method engineering: engineering of information systems development methods and tools. 275-280 - Yair Wand:

Ontology as a foundation for meta-modelling and method engineering. 281-287 - Alfonso Fuggetta:

Functionality and architecture of PSEEs. 289-293 - Teade Punter, Karel Lemmen:

The MEMA-model: towards a new approach for Method Engineering. 295-305
Volume 38, Number 5, May 1996
- Hossein Saiedian

, Michael G. Hinchey:
Challenges in the successful transfer of formal methods technology into industrial applications. 313-322 - Derek Andrews:

An exercise in modelling. 323-332 - Huaiqing Wang:

Repositories for co-operative information systems. 333-341 - Roger Ferguson, Bogdan Korel:

Generating test data for distributed software using the chaining approach. 343-353 - Stan Jarzabek, Tok Wang Ling:

Model-based support for business re-engineering. 355-374
Volume 38, Number 6, June 1996
- Kassem Saleh, Abdulazeez S. Boujarwah:

Communications software reverse engineering: a semi-automatic approach. 379-390 - Sophie Cockcroft:

Estimating CASE development size from outline specifications. 391-399 - Judith Barnard, J. Whitworth, M. Woodward:

Communicating X-machines. 401-407 - J. E. McCormack, Steven A. Roberts:

Exploiting object oriented methods for multi-modal trip planning systems. 409-417 - Shih-Chien Chou, Jason Jen-Yen Chen, Chian-Goei Chung:

An executable specification language for specification understanding in object-oriented specification reuse. 419-434 - Fraser MacDonald:

Software process modelling and technology : Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh (eds.), Research Studies Press, Taunton, UK (1994), 362 pp. ISBN 0-863-80169-2. 435
Volume 38, Number 7, 1996
- R. Harrison, L. G. Samaraweera, Mark R. Dobie, Paul H. Lewis:

An evaluation of code metrics for object-oriented programs. 443-450 - David Rine:

Sharing objects as structural defects in object-oriented programming without safe typing. 451-453 - Bryon K. Ehlmann, Gregory A. Riccardi:

A comparison of ORN to other declarative schemes for specifying relationship semantics. 455-465 - Simon R. Monk, John A. Mariani, Beshir Elgalal, Helen Campbell:

Migration from relational to object-oriented databases. 467-475 - Klaas van den Berg, P. M. van den Broek:

Programmers' performance on structured versus nonstructured function definitions. 477-491
Volume 38, Number 8, 1996
- David C. Rine:

Object-oriented design: exception handling and copying. 499-506 - Mary Frances Theofanos, Shari Lawrence Pfleeger:

Wavefront: a goal-driven requirements process model. 507-519 - Gabriele Manduchi:

A mixed approach for the formal correctness proof of distributed programs. 521-538 - George A. Papadopoulos

:
Concurrent object-oriented programming using term graph rewriting techniques. 539-547
Volume 38, Number 9, 1996
- Pairoj Termsinsuwan, Zixue Cheng, Norio Shiratori:

A new approach to ADT specification support based on reuse of similar ADT by the application of Case-Based Reasoning. 555-568 - Khaled Al-Saqabi, Kassem Saleh:

An efficient process migration algorithm for homogeneous clusters. 569-580 - Bipin C. Desai

, Boutros S. Boutros:
Performance of a two-phase commit protocol. 581-599 - Tok Wang Ling, Cheng Hian Goh, Mong-Li Lee

:
Extending classical functional dependencies for physical database design. 601-608
Volume 38, Number 10, 1996
- Robert B. Jackson, David W. Embley:

Using joint application design to develop readable formal specifications. 615-631 - Anupam Sinha, Pradip Kumar Das, Dhruba Basu:

Replicated servers for fault-tolerant real-time systems using transputers. 633-645 - Ian Gorton, Sanjeev Motwani:

Issues in co-operative software engineering using globally distributed teams. 647-655 - Paul Kai-On Chow, Daniel S. Yeung:

Behavioural modelling in object-oriented methodology. 657-666
Volume 38, Number 11, November 1996
- Keith H. Bennett:

Editorial. 671 - Keith H. Bennett:

Software evolution: past, present and future. 673-680 - M. M. Lehman:

Feedback in the software evolution process. 681-686 - John C. Munson:

Software faults, software failures and software reliability modeling. 687-699 - R. M. Hather, Elizabeth Burd, Cornelia Boldyreff:

A method for application management maturity assessment. 701-709 - P. Benedusi:

Improving reverse engineering models with test-case related knowledge. 711-718 - Les Hatton:

Is modularization always a good idea? 719-721 - David S. Hinley:

Software evolution management: a process-oriented perspective. 723-730
Volume 38, Number 12, 1996
- Tereza G. Kirner, Alan M. Davis:

Requirements specification of real-time systems: temporal parameters and timing-constraints. 735-741 - Narciso Cerpa

, June M. Verner:
Prototyping: some new results. 743-755 - Richard Lai, Anthony C. C. Lo:

Integrated Estelle and ASN.1 specification approach to automatic implementation of application protocol. 757-773 - F. T. Chan, Tsong Yueh Chen

, I. K. Mak, Yuen-Tak Yu:
Proportional sampling strategy: guidelines for software testing practitioners. 775-782 - Gerald J. O'Brien, W. David Wilde:

Australian managers' perceptions, attitudes and use of information technology. 783-789

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














