ebook img

The Journal of Systems and Software 1991: Vol 14-16 Index PDF

6 Pages·1991·1.4 MB·English
by  
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview The Journal of Systems and Software 1991: Vol 14-16 Index

Author Index Abdel-Wahab, H., 16:85 Hac, A., 14:173, 16:37, 16:243 Ambriola, V., 14:17 Hager, J. A., 14:67 Ammar, R. A., 15:139 Hatzimanikatis, A., 15:83 Asprey, P. L., 14:215 Henry, S., 14:133 Ho, T. -F., 16:121 Baber, R. L., 15:91 Howden, W. E., 15:205 Baker, A. L., 15:193 Hsieh, C. S., 16:53, 16:197 Bartley, J. W., 15:107 Huitt, R., 14:97 Belkouche, B., 16:255 Bennett, K. H., 14:79 Itzfeldt, W. D., 15:5 Bertolino, A., 15:133 Bobbie, P. O., 16:205 Jeffrey, H. J., 14:147 Bourque, P., 15:159 Jenson, R. L., 15:107 Jin, X., 14:173, 16:37 Calingaert, P., 16:85 Carrasco, J. A., 14:155 Kamal, M., 16:75 Chan, W. -C., 16:121 Kamel, M. N., 15:25] Chang, D. K., 15:233 Kavi, K. M., 16:107 Chong, E. K. P., 15:261 Keller-McNulty, S., 16:59 Christ-Neumann, M. -L., 15:5 Kemayel, L., 16:15] Christodoulakis, D., 15:3, 15:75, 15:83 Koskimies, K., 15:115 Chung, C. -G., 16:121 Kramer, B., 15:5, 15:17, 15:33, 15:63 Ciancarini, P., 14:17 Kumar, M., 16:219 Cioch, F. A., 14:85 Kung, C., 15:185, 16:29 Coleman, D. L., 15:193 Kuntzman, A., 14:155 Comm, C. L., 15:149 Kuo, F. -Y., 16:169 Cook, C. R., 15:287 Cornelius, B. J., 14:79 Lee, C. -C., 16:69 Corradini, A., 14:17 Lubinsky, D. J., 16:135 Coté, V., 15:159 Luqi, 15:63 DeFrancesco, N., 14:17 MacDonell, S. G., 16:141 Deshpande, A. K., 16:107 Mathaisel, D. F. X., 15:149 Dillion, L. K., 14:183 McNulty, M. S., 16:59 Mili, A., 16:15] Emdad, A., 16:129 Mincer-Daszkiewicz, J., 14:51 Munro, M., 14:79 Fatmi, H. A., 16:69 Figueras, J., 14:155 Nandakumar, K., 16:229 Fisher, A. J., 16:3 Narayanaswamy, K., 16:97 Frakes, W. B., 16:135 Neal, D. N., 16:135 Frieder, O., 14:111 Nunamaker, J. F., 15:279 Gantenbein, R. E., 14:31 Oman, P. W., 15:287 Gaviotis, I., 15:83 Ouederni, I., 16:151 Geenens, R., 16:75 Georgon, T., 14:103 Paakki, J., 15:115 Gerlach, J. H., 16:169 Papazoglou, M., 16:205 Glass, R. L., 14:1, 14:65, 14:131, 15:1, Pintelas, P., 14:3 15:103, 15:203, 16:1, 16:83, 16:167 Goff, R., 14:133 Reid, R. A., 14:215 Goldman, N. M., 16:97 Robson, D. J., 14:79 Gorla, N., 14:199 Roeseler, A., 16:185 Goutas, S., 15:75 Guan, S. -U., 16:85 Samadzadeh, M. H., 16:229 Gulezian, R., 16:235 Scheff, B. H., 14:103 Gustafson, D. A., 16:59 Schmidt, H. W., 15:43 267 268 J. SYSTEMS SOFTWARE Author Index 1991; 16:267-268 Segal, M. E., 14: 111 Varadharajan, V., 15:239 Shoja, G. C., 14:163 von Mayrhauser, A., 16:185 Skuce, D., 14:39 Snyder, R. M., 16:17 Walters, N., 15:173 Soo, J. -H., 14:173 Werner, L. L., 15:205 Soupos, P., 15:75 Wilde, N., 14:97 Wong, J., 16:219 Tao, Y., 16:29 Yellen, R. E., 15:279 Tragoudas, S., 14:3 Zhao, W., 15:261 Uckan, Y., 15:217 Zviran, M., 15:25] Subject Index A 16:75 Distributed system, file replication in, ADA Computer-aided design (CAD) system, 14:173 prototypes of, 16:255 high-performance software Documentation blueprints, U. S. requirements specification for, development and, 15:139 Department of Defense data items 15:173 Computing service quality, user-oriented and, 14:103 ADABAS, hybrid data base management approach to, 16:185 Documentation delivery systems, 16:129 system, 14:199 Concurrent processing, 16:107, 16:121. Dynamic binding, 14:31 Algebraic specification framework, 15:33, See also Parallel processing Dynamic updating of programs, 14:11] 15:43 Consistency checking, process interface Algorithms modeling and, 15:185 E asynchronous operations in disk- Constructive Cost Estimation Model Education buffer-cache memory, 16:243 (COCOMO), 16:235 novice use of computer application commutative and associative Cost estimation, software, 14:67, 15:107, software, 15:279 function evaluation with 16:235 software engineering education and distributed, 16:53 Course schedules, computer graphics software maintenance, (editorial), data compression/ expansion, approach to, 15:149 14:65 15:233 CPS, language independent programming software engineering, (editorial), dynamic load balancing and environment, 14:3 14:65 decentralized, 16:37 software engineering curriculum, file replication in distributed D 14:147 system, 14:173 Data base management systems (DBMS) Environment imprecise computer systems and conventional, 16:219 binding in programming languages scheduling, 15:261 design, 16:219 and, 14:31 interactive text formatting and integration of heterogenous, 15:251 software, 14:17 incremental, 16:3 performance of hybrid, 14:199 European Strategic Programme for ALPHA, text formatting system, 16:3 relational deductive, 15:217 Research and Development in Architecture design, fault-tolerant systems Data compression/ expansion algorithm, Information Technology and, 14:155 15:233 (ESPRIT), 15:3 Architectures, safety-oriented two-version Data flow diagrams (DFD) Event sequence, 15:205 architectures, 14:155 formal definition and verification Extended Backus-Naur Form (EBNF) Automated software testing, overview of, of, 16:29 grammar, conversion of, 16:17 15:133 input/output interface descriptions Automation. See Software automation of, 15:185 F structured analysis (SA) Fault-tolerant systems, design diversity B specifications and, 15:193 and, 14:155 Binding, programming languages and, Data items, blueprint documentation and File replication, locally distributed system 14:3] U. S. Department of Defense, and, 14:173 14:103 File transfer, decentralized algorithm for C Data usage analysis, 15:205 dynamic load balancing with, 16:37 CAD. See Computer-aided design (CAD) DataCheck, data usage analysis with, Formal methods, software engineering CASE environment prototypes, 15:5 15:205 heuristics vs., (editorial), 15:103 CASE tools, (editorial), 14:131 Dataflow anomoly detection, 16:197 4GLs, (editorial), 14:131 Chunk, definition of, 16:197 Dataflow model, concurrent processes Collaboration, real-time, 16:85 using, 16:107 G Communication chasm, (editorial), 15:1 DATALOG, 16:197 GANDALF, language independent Commutative and associative functions, Debugging, 16:135, 16:197 programming environment, 14:3 distributed algorithm for, 16:53 Defense Science Board Task Force on GRASPIN Complexity measurement experiments, Military Software, review of, communicating in software 16:14] (editorial), 14:1 engineering environments (SEE) Complier construction, 16:3 Design diversity, fault-tolerant systems with, 15:83 Computer graphics approach, course and, 14:155 overview of, 15:5 schedules and, 15:149 Design. See Software design Predicate-Event nets (PrE-nets) Computer performance management, Development. See Software development and, 15:43 14:215 Dictionaries, data compression using software engineering environment Computer systems, imprecise, scheduling hierarchical, 15:233 of, 15:3 algorithms for, 15:261 Disk-buffer-cache memory, algorithms for specification language, SEGRAS, Computer utilization, industry study of, asynchronous operations in, 16:243 15:17, 15:33, 15:43 269 270 J. SYSTEMS SOFTWARE Subject Index 1991; 16:269-271 design principles and architecture software productivity and, programming environments, 14:3 of, 15:75 (editorial), 16:167 object-oriented model, 15:107 software quality and, (editorial), parallel functional, 16:69 H 16:83 programming style taxonomy, Heuristics, software engineering formal MENTOR, language independent 15:287 methods vs., (editorial), 15:103 programming environment, 14:3 Programs Hospital information systems, Misinterpretation. See Software ADA, 14:183, 15:173 heterogenous data base integration misinterpretation ADABAS, 14:199 in, 15:25] CPS, 14:3 Human systems content, software N dynamic updating of, 14:111 engineering and, 14:147 nvec, 16:135 GANDALF, 14:3 GRASPIN, 15:3, 15:5, 15:17, 15:43, I O 15:75, 15:83 I/O behavior, 14:51 Objects IMS, 14:199 IMS, hierarchical data base management jointly owned, 16:85 IPE, 14:3 system, 14:199 software engineering environments MENTOR, 14:3 Information Flow Nets (IFNs), system and, 14:17 PECAN, 14:3 design and refinement with, 15:239 On-line software documentation systems, PROLOG, 16:17, 16:205 Information gathering, problems with, 16:129 SCR, 14:67 (editorial), 15:203 Operating-system support, jointly owned software maintenance and Information systems objects and, 16:85 dependencies in, 14:97 hospital, 15:251 Operator sequence analysis, 15:205 symbolic execution of concurrent, organizational, 16:75 Operator sequences specification, 15:205 14:183 Input/ output interface descriptions, data Organizational information services, 16:75 TOOLS, 15:115 flow diagram (DFD) and, 15:185 PROLOG Instruction modules, novice use of P clustering PROLOG KB data, computer application software and, Parallel functional programming, 16:69 16:205 15:279 Parallel processing, 14:163. See also specifying textual to graphic Interface modeling process, 15:185, Concurrent processing conversion, 16:17 15:193, 15:199 PECAN, language independent Prototypes, development of, 16:255 Interfaces, hybrid, 16:169 programming environment, 14:3 IPE, language independent programming Peopleware, by DeMarco T., Lister T., R environment, 14:3 Dorset House, 1987 review of, Refinement procedure, Petri nets and, (editorial), 16:83, 16:167 15:239 K Petri nets Relational deductive data base systems, Knowledge base data, 16:205 Information Flow Nets (IFNs), 15:217 15:239 Remote Execution Manager (REM), L parallel programs and, 16:121 14:163 Language independent programming Predicate-Event nets (PrE-nets), Research, structured, (editorial), 16:1 environments, 14:3 15:43 Languages Petri net-based process model S DATALOG, 16:197 (PNP model), 15:63 Scheduling algorithms, imprecise dynamic binding in strongly types system design and refinement with, computer systems and, 15:26] programming, 14:31 15:239 SEGRAS, GRASPIN specification functional, 16:69 Precedence relation, data flow diagrams language, 15:17, 15:33, 15:43 graphical vs. textual, 14:133 (DFD) and, 16:29 Service management, 16:185 high-level tools for language Predicate-Event nets (PrE-nets), prototype Service-level index (SLI), service quality implementation, 15:115 and analysis of non-sequential management and, 16:185 SEGRAS, 15:17, 15:33, 15:43 systems using, 15:43 SISAL, functional language, 16:69 SISAL, 16:69 Printed software documentation systems, Software software engineering environments 16:129 automation, CASE tools and and flexible environment, 14:17 Process interface modeling, consistency 4GLs, (editorial), 14:131 SUSL, 16:255 checking and, 15:185 complexity, measurement of, technical concept definitions, 14:39 Process models, 15:63 16:141 Lines of code, software sizing and, 15:159 Processing, concurrent, 16:107, 16:121 Defense Science Board Task Force Literature searches, problems with, Processing, parallel, 14:163 on Military Sofware, (editorial), (editorial), 15:203 Processing elements (PE), SEGRAS and, 14:1 Load balancing, decentralized algorithm 15:43 computer application, novice use for dynamic, 16:37 Program behavior, I/O activity, 14:51 of, 15:279 Load sharing and parallel processing Program comprehension, 14:79 construction, stochastic models for, among workstations, 14:163 Programmer productivity, 16:15] 16:59 Programming Constructive Cost Estimation M dynamic binding in strongly typed Model (COCOMO), 16:235 Maintenance. See Software maintenance languages, 14:31 dependency analysis, reusable Management role language independent toolset for, 14:97 Subject Index J. SYSTEMS SOFTWARE 271 1991: 16:269-271 design software engineering and, 16:59 computer-aided design (CAD) environments, 14:17 Structured analysis (SA) specifications, system in, 15:139 software engineering data flow diagrams (DFD) and, graphical vs. textual design environments (SEE), GRASPIN 15:193 tools, 14:133 and, 15:83 Structured research, (editorial), 16:1 safety-oriented two-version technology transfer in, SUSL, abstract data type specifications architectures, 14:155 (editorial), 15:1 with, 16:255 terminology clarification and, maintenance, (editorial), 14:65 Symbolic execution of concurrent 14:39 costs of, 14:67 programs, 14:183 development documentation blueprints and Syntax diagrams, grammar conversion ADA and PL/ | prototypes, data items, 14:103 into, 16:17 16:255 measuring software System design, Petri net model for, 15:239 Constructive Cost Estimation misinterpretation, 14:85 System performance evaluation, 16:185 Model (COCOMO), 16:235 program comprehension and, cooperative, 16:97 14:79 T costs in, 14:67, 15:107 program dependencies and, Taxonomy, programming style, 15:287 effort estimation in, 15:159 14:97 Technical concepts, language and system GRASPIN and, 15:5, 15:43 program updating, 14:111 for definitions of, 14:39 jointly owned objects for metrics, 16:229 Technology transfer, software engineering collaboration, 16:85 misinterpretation, measuring, 14:85 and, (editorial), 15:1 management role in, (editorial), objects, software engineering Terminology, clarifying, 14:39 16:83 environments and, 14:17 Test coverage, 16:135 programmer productivity and, process modeling, Petri net-based Text formatting, incremental algorithms 16:151 process model (PNP model) and, for interactive, 16:3 Software Development 15:63 Textual forms, graphic conversion of, Environments (SDE), 15:75 productivity, management role in, 16:17 software engineering (editorial), 16:167 TOOLS, language implementation with, environments, 14:17 quality, (editorial), 16:83 15:115 documentation delivery systems, quality metrics, graphical vs. 16:129 textual design language with, U engineering 14:133 U. S. Department of Defense data items, curriculum for, 14:147 research crisis, (editorial), 16:1 documentation blueprints and, definition of, 15:91 science, stochastic models for, 14:103 education, (editorial), 14:65 16:59 Updating programs, 14:111, 14:173 environments, 14:17 sizing, structured analysis metrics User-Tool Interaction Subsystem, 15:83 formal methods vs. heuristics, in, 15:159 (editorial), 15:103 specifications, Ada, 15:173 V GRASPIN, 15:3 testing, automated, 15:133 Verification conditions, 14:183 hybrid interface of command Specification languages Version control, 16:219 language and direct SEGRAS, 15:17, 15:33, 15:43 manipulation, 16:169 TOOLS, 15:115 Ww processes, formal models of, Specifications Well-behavedness, Petri nets and, 15:239 15:63 algebraic, 15:33, 15:43 Workstations, load sharing and parallel Software Engineering Database SEGRAS, 15:17, 15:33, 15:43 processing among, 14:163 (SEDB), 15:75 Stochastic models, software construction

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.