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 - Pavol Návrat
:
A closer look at programming expertise: critical survey of some methodological issues. 37-46 - 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
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
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
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
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.
last updated on 2024-12-15 01:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: