![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Information & Software Technology, Volume 40
Volume 40, Number 1, 1998
- György Kovács, Patrick van Bommel:
Conceptual modelling-based design of object-oriented databases. 1-14 - Hee Beng Kuan Tan, Hua Koon Tan:
Reuse of components in data-intensive business programs through interface separation. 15-25 - Wentong Cai
, Bu-Sung Lee
:
File allocation with balanced response time in a distributed multi-server information system. 27-35 - Aleksander Zgrzywa:
The evaluation of the response time for a tourist agency's service system. 37-44 - Woochun Jun, Le Gruenwald:
An effective class hierarchy concurrency control technique in object-oriented database systems. 45-53
Volume 40, Number 2, 1998
- Chuk Yau, Ho Leung Tsoi:
Modelling the probabilistic behaviour of function point analysis. 59-68 - Jahangir Karimi, Mansour Kazerooni-Zand:
Asset-based system and software system development - A frame-based approach. 69-78 - Soon-Young Huh:
An object-oriented database model for a change management framework in workgroup computing systems. 79-92 - J. S. Davis:
Active help found beneficial in wizard of oz study. 93-103 - Martin R. Woodward, Stephen Peter Allen:
Slicing algebraic specifications. 105-118
Volume 40, Number 3, 1998
- Keith Phalp, Peter Henderson, Robert John Walters, Geetha Abeysinghe:
RolEnact: role-based enactable models of business processes. 123-133 - Leonor Barroca
, Pedro Rangel Henriques:
A framework and patterns for the specification of reactive systems. 135-142 - Selmin Nurcan:
Analysis and design of co-operative work processes: a framework. 143-156 - Sang-Won Lee, Hyoung-Joo Kim:
A model of schema versions for object-oriented databases based on the concept of rich base schema. 157-173 - Christof Ebert:
Putting requirement management into praxis: dealing with nonfunctional requirements. 175-185
Volume 40, Number 4, July 1998
- Donald J. Bagert:
A model for the software engineering component of a computer science curriculum. 195-201 - Robert Biddle, Ewan D. Tempero
:
Teaching programming by teaching principles of reusability. 203-209 - Jan J. van Amstel:
The group education and training: IT's basic courses in Philips. 211-219 - Pearl Brereton, Sue Lees, Matt Gumbley, Cornelia Boldyreff, Sarah Drummond, Paul J. Layzell, Linda A. Macaulay, R. Young:
Distributed group working in software engineering education. 221-227 - Michael W. Godfrey:
Teaching software engineering to a mixed audience. 229-232 - Ann E. Kelley Sobel:
Applying an operational formal method throughout software engineering education. 233-238 - Jochen Ludewig, Ralf Reißing:
Teaching what they need instead of teaching what we like - the new software engineering curriculum at the University of Stuttgart. 239-244 - Kari Alho:
Using the World Wide Web to assist software project course work. 245-248
Volume 40, Numbers 5-6, July 1998
- Tetsuo Tamai:
Abstraction orientated property of software and its relation to patentability. 253-257 - Woei-Jiunn Tsaur, Shi-Jinn Horng:
A new generalized software complexity metric for distributed programs. 259-269 - Judith Barnard:
COMX: a design methodology using communicating X-machines. 271-280 - Djamel Eddine Zegour, Gérard Lévy:
CONCORD: an environment of CONstruction, CORrection anD transformation of algorithms. 281-290 - Anupam Sinha, Pradip Kumar Das, Dhruba Basu:
Implementation and timing analysis of Clock Synchronization on a transputer-based replicated system. 291-309 - Jason Jen-Yen Chen, Shih-Chien Chou:
Enacting object-oriented methods by a process environment. 311-325 - Beng Chin Ooi, Cheng Hian Goh, Kian-Lee Tan
:
Indexing bitemporal databases as points. 327-337 - Lars Bo Eriksen, Jan Stage:
A qualitative empirical study of case tool support to method learning. 339-345 - Tsong Yueh Chen, Man Fai Lau:
A new heuristic for test suite reduction. 347-354
Volume 40, Number 7, August 1998
- David Malcolm Gee:
Formal specification of visual languages. 359-367 - Ravi Erraguntla, Doris L. Carver:
Migration of sequential systems to parallel environments by reverse engineering. 369-380 - Charles J. Kacmar, Jane M. Carey, Mark Aleaxander:
Providing workflow services using a programmable hypermedia environment. 381-396 - Nobuhiro Ito, Kouichi Nakagawa, Takahiro Hotta, Xiaoyong Du, Naohiro Ishii:
EAMMO: an environmental agent model for multiple objects. 397-404
Volume 40, Number 8, August 1998
- Gerard Horgan, Souheil Khaddaj, Peter Forte:
Construction of an FPA-type metric for early lifecycle estimation. 409-415 - Michalis Glykas
, George Valiris:
Management science semantics for object-oriented business modelling in BPR. 417-433 - Dianxiang Xu:
A logic based language for networked agents. 435-442 - Albert Alderson, M. Elizabeth C. Hull, Ken Jackson, L. E. Griffiths:
Method engineering for industrial real-time and embedded systems. 443-454
Volume 40, Number 9, September 1998
- J. Artur Serrano, Ray Welland:
VCt - a formal language for the specification of diagrammatic modelling techniques. 463-474 - A. M. Zendler:
Foundation of the taxonomic object system. 475-492 - Fritz H. Grupe, Robert Urwiler, Narender K. Ramarapu, Mehdi Owrang:
The application of case-based reasoning to the software development process. 493-499 - Juhani Iivari, Jari Maansaari:
The usage of systems development methods: are we stuck to old practices? 501-510
Volume 40, Number 10, October 1998
- Arthur H. M. ter Hofstede, Henderik Alex Proper:
How to formalize it?: Formalization principles for information system development methods. 519-540 - Zhengxin Chen:
Toward a better understanding of idea processors. 541-553 - Pedro Ramos, José Luiz Fiadeiro:
A computational tool that supports formal diagnosis of process design. 555-565
Volume 40, Numbers 11-12, December 1998
- Mark Harman, Keith Brian Gallagher:
Program slicing. 577-581 - David W. Binkley:
The application of program slicing to regression testing. 583-594 - Gerardo Canfora, Aniello Cimitile, Andrea De Lucia:
Conditioned program slicing. 595-607 - John Field, Frank Tip:
Dynamic dependence in term rewriting systems and its application to program slicing. 609-636 - Mariam Kamkar:
Application of program slicing in algorithmic debugging. 637-645 - Bogdan Korel, Juergen Rilling:
Dynamic program slicing methods. 647-659 - Jens Krinke, Gregor Snelting:
Validation of measurement software as an application of slicing and constraint solving. 661-675 - Arun Lakhotia, Jean-Christophe Deprez
:
Restructuring programs by tucking statements into functions. 677-689 - Linda M. Ott, James M. Bieman:
Program slices as an abstraction for cohesion measurement. 691-699 - Thomas W. Reps:
Program analysis via graph reachability. 701-726
Volume 40, Number 13, November 1998
- Keith Phalp:
The CAP framework for business process modelling. 731-744 - Tullio Vardanega
, Jan van Katwijk:
Productive engineering of predictable embedded real-time systems: the road to maturity. 745-764 - Tsong Yueh Chen
, Pak-Lok Poon
:
On the effectiveness of classification trees for test case construction. 765-775 - Tsong Yueh Chen
, Man Fai Lau:
A simulation study on some heuristics for test suite reduction. 777-787
Volume 40, Number 14, December 1998
- Stephen G. Linkman:
Evaluation and assessment in software engineering 1998. 793-794 - Michelle Cartwright:
An empirical view of inheritance. 795-799 - Ming Zhao, Claes Wohlin, Niclas Ohlsson, Min Xie:
A comparison between software design and code metrics for the prediction of software fault content. 801-809 - Lesley Pickard, Barbara A. Kitchenham, Peter W. Jones:
Combining empirical results in software engineering. 811-821 - Babak Khazaei, Jawed I. A. Siddiqi, Rick Osborn, Chris Roast
:
Templates and tariffs - tools for empirical studies. 823-829 - Magnus C. Ohlsson, Claes Wohlin, Björn Regnell:
A project effort estimation study. 831-839 - Emilia Mendes, Rachel Harrison, Wendy Hall
:
Reusability and maintainability in hypermedia applications for education. 841-849 - David J. Carney, Kurt C. Wallnau:
A basis for evaluation of commercial software. 851-860 - Maurizio Pighin:
An empirical quality measure based on complexity values. 861-864 - A. J. Walker:
Improving the quality of ISO 9001 audits in the field of software. 865-869 - Ronald J. Leach, Claude A. Charles, Kenrick Fagan, Thembi Kimbrough, Kai R. Thomas:
A re-engineering process using early decomposition and simple tools. 871-875
Volume 40, Number 15, December 1998
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.