TRI-Ada最新文献

{"title":"ReUSE/Ada: a tool to promote code reuse","authors":"D. Battaglia, Austin Burke, J. Beidler","doi":"10.1145/269629.269641","DOIUrl":"https://doi.org/10.1145/269629.269641","url":null,"abstract":"The benefits of code and design reuse are widely documented, along with methodologies to effect such reuse. Many solutions, however, require wide organizational support to be effective. We see the need for a too1 that promotes reuse by individuals or by teams, and which can be used at once, so immediate gains may be realized. Our application, ReUSE, attempts to fill this need by acting as an interface to reusable code. After attaching to reusable components through its Package Browser, ReUSE can automatically create function and procedure calls, and it helps the developer instantiate generic packages. It also provides a compiler interface, interactive error processing, centralized storage of project tiles, multiple editors, and other features to help the developer write and reuse Ada code efficiently.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131252128","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Network applications in Ada 95","authors":"J. Kienzle","doi":"10.1145/269629.269630","DOIUrl":"https://doi.org/10.1145/269629.269630","url":null,"abstract":"This document describes an approach to support network applications, that is client-server applications with a dynamic number of short-lived clients, within the original Ada 95 distributed systems model. The conformance of this concept with the Ada Standard is verified. An implementation based on Glade, the implementation for the GNAT compiler of Annex E of the Ada Reference Manual, is presented, highlighting the necessary modifications to the configuration language and the run-time system.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125608553","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Managing usage of dynamic structures with Ada controlled objects","authors":"Vincent Celier","doi":"10.1145/269629.269647","DOIUrl":"https://doi.org/10.1145/269629.269647","url":null,"abstract":"A method of managing dynamic structures (allocated on the heap) using Ada Controlled objects with reference counting is presented. The method is efficienr. prevents memory Leaks and dangling pointers. and explicitiy controls the “deep” copies through a notion of “ownership”. The method is compared to other methods such as automatic re;rllocation, and on demand reallocation for modification. Examples of usage are provided.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114226476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Concurrent design patterns for resource sharing","authors":"B. Sandén","doi":"10.1145/269629.269648","DOIUrl":"https://doi.org/10.1145/269629.269648","url":null,"abstract":"Software design is traditionally regarded as a process issue and various stepwise methods are proposed. Design patterns allow a discussion of designs as such, without the process aspect. A pattern is a grouping of objects that is likely to be useful over and over. It describes a family of solutions to recurring problems. The standard reference [2] includes a catalog of 23 objectoriented patterns. (Further discussion in the full paper.)","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124608074","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"An Ada95 basis for propagation modeling","authors":"D. Needham, S. Demurjian, T. Peters","doi":"10.1145/269629.269655","DOIUrl":"https://doi.org/10.1145/269629.269655","url":null,"abstract":"Representing dynamic interdependencies between design objects is an essential part of modeling the critical software communications found in complex software systems. Current software development methodologies, computer aided software engineering (CASE) environments and computer aided design (CAD) systems lack the ability to represent and manipulate these interdo pendencies, even though the specific information needing representation is often well understood by the designer. This paper examines the modeling of propagations, which are captured using design-level triggers for specifying dynamic behavior across object types. We present propagation constructs built upon the object-oriented features of the Ada95 programming language. Cur emphasis is to report upon our use of object-oriented propagations as part of our software engineering research environment ADAM, (short for Active Design and Analyses Modeling), to model appropriate change notification upon a decision to alter the supporting geometry data structures for rapid prototyping in the manufacturing domain. An example of the propagations involved in the maintenance of topological invariance in the industrial domain is examined.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128471799","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"“Software engineering plan reviews—better for Ada than the mandate?” (panel)","authors":"H. Hart, Linda Brown, P. Lawlis, Richard D. Riehle, M. Holden","doi":"10.1145/269629.270039","DOIUrl":"https://doi.org/10.1145/269629.270039","url":null,"abstract":"In April 1997, Emmett Paige reaffirmed his belief that Ada is ready to compete on its own merits and issued a memo abolishing the DOD’S Ada requirement and substituting a requirement for “Software Engineering Plan Reviews” (SEPRs) for all major system acquisitions. An SEPR achieves a best-practices level of decision making by simultaneously reviewing related software engineering lifecycle and cost decisions that have a greater overall influence on software capability than does choice of a particular progr amming language alone. Primary decision factors are architectures, design methods, reuse/legacy opportunities, deveIopment processes, tools, programming languages, and lifecycle cost considerations. Some commercial firms already conduct similar “architecture reviews” that could be models to predict the effectiveness of SEPRs and their possible impacts on Ada usage. Will Ada fare better or worse under the new rules of the game ? Could SEPRs become widespread commercial practice, and might this help Ada? Technical and policy experts pro and con will explore and debate these issues on this panel.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126862265","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A reusability measurement framework and tool for Ada 95","authors":"M. Price, S. Demurjian, D. Needham","doi":"10.1145/269629.269643","DOIUrl":"https://doi.org/10.1145/269629.269643","url":null,"abstract":"This paper presents a framework which analyzes and measures the reusability of object-oriented (00) designs. Our approach relies on reuse-specific subjective characterizations of packages and hierarchical libraries, and on a set of metrics that objectively measures the dependencies among packages based on those characterizations. We have developed a prototype tool which can parse Ada 95 applications, measure their reuse potential according to our framework, and automatically advise software designers/developers on the ways to improve their products’ reusability. We intend to incorporate this tool into a design/development environment to promote an iterative process that evolves design/code to a more reusable state.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116019482","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Task dependence nets for concurrent systems with Ada 95 and its applications","authors":"Jingde Cheng","doi":"10.1145/269629.269637","DOIUrl":"https://doi.org/10.1145/269629.269637","url":null,"abstract":"There are various dependence relationships holding between statements in a program as well as between components in a software system. In general, the dependence relationships are implicitly determined by control and data flows in the program and/or system. Determining various dependences in programs and/or systems and then representing them in some explicit forms are indispensable and crucial to many software development, maintenance, evolution, and reengineering activities. This paper presents a dependencebased representation, named task dependence net, for concurrent systems with Ada 95 and shows its various important applications in Ada software development, maintenance, evolution, and reengineering. Two arcclassified digraph representations, named nondeterministic parallel control-flow net and nondeterministic parallel definition-use net, are introduced to represent multiple threads of control flow and multiple threads of data flow in concurrent Ada programs. The five types of primary program dependences in concurrent Ada programs, i.e., the control, data, selection, synchronization, and communication dependences, are defined based on the nondeterministic parallel control-flow and/or definition-use nets. Various important applications of dependence analysis of concurrent Ada programs including program slicing, understanding, testing, debugging, maintenance, complexity measurement, and reengineering are discussed. ____________________ * This work is supported in part by The Ministry of Education, Science, Sports and Culture of Japan under Grant-in-Aid for Scientific Research on Priority Areas No. 09245223. Permission to make digital/hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage, the copyright notice, the tile of the publication and its date appear, and notice is given that copying is by permission of ACM, Inc. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. 1997 ACM 0-89791-981-5/97/0011 3.50","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131416604","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"The source code analysis tool construction project","authors":"Richard L. Conn","doi":"10.1145/269629.269645","DOIUrl":"https://doi.org/10.1145/269629.269645","url":null,"abstract":"Reuse Tapestry is a project at Momnouth University which covers a wide variety of topics in the area of software reuse. Issues addressed indude documentation of reusable assets, the certification of reusable assets, the successful application of domain engineering with Domain-Specific Kits (DSKs) for the efficient development of families of applications programs (product lines), management and other non-technical issues associated with reuse, technology transfer between the government, industry, and academia, and reuse and tool construction courseware development (both conventional courseware including a software reuse lab and courseware oriented toward distance learning that is presented using closed-circuit television). The focus of this paper is one of the most recent new projects under Reuse Tapestry -the SCATC (Source Code Analysis and Tool Construction) project (SCATC is pronounced “skat”). The SCATC project involves the creation of a DSK that contains generic reusable architectures backed by a software components library which can be used to create families of tools for source code analysis of both small and large (more than 1 million lines of code) software systems written in Ada83, Ada95 C, and C++ (more languages are on the way). The SCATC DSK is written in Ada95 and its architectures and components may be compiled using the GNU NYU Ada95 Translator, GNAT 3.09. A variation of the Synthesis process for software development, which is espoused by the Software Productivity Consortium, is used in the tool development, and Pcmhsion to make digihl/l~srd copies of lill or p.ut of tiu’s work for personaf or cl3srroom use is mted witl~out fee provided that copies are 110; nude or distributed fir profit or commerci~1 advaatage, the copyright notice, the tile ofthe public;ltion and its date zrppear. and notice is given Ulirt copying is by permission of ACM, Inc. To oopy othenwise, to republish, to post on servers, or to redistribute to Iii requires prior specific pennissioa andor a fee. 01997 ACMO-89791-9815i97IOO113.50 141 the SCATC DSK is in a continuous state of growth and enhancement as a result The courseware developed under Reuse Tapestry uses the SCATC project as a live example and a lab tool. The SCATC project is the culmination of more than five years of experience in writing source code analysis tools’ in Ada. The SCATC project is based in part on ideas gleaned from a tool construction project undertaken by the author when he worked for The MlTRE Corporation, where over 30 million lines of Ada83 software have been assessed for nine Program Managers at Fort Monmouth using tools written by the author. Now, the SCATC DSK provides a fonndation for the rapid development of more source code analysis tools. For more information on the Reuse Tapestry project and the SCATC project in particular, see the article on Reuse Tapeshy in the proceedings of the 11’ Annual Ada and Software Engineering Education Team {ASEET) Symposium’. Elements of Reuse Ta","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128766018","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Performance issues of scientific programming in Ada 95","authors":"James B. White","doi":"10.1145/269629.269657","DOIUrl":"https://doi.org/10.1145/269629.269657","url":null,"abstract":"Motivate by the increasing size and complexity of scientific software, we cousider the benefits of Ada 95 versus Fortran and C++. Using a sample problem derived from a recent evaluation of C-t-+ [4], we test the performance of a series of Ada 95 implementations designed to supply an elegant interface for sCientific programming. We test two compilers, GNAT and PowerAda, on a siugle processor of the IBM SP2 at the Ohio Supercomputer Center, and we find that the Ada 95 implemeutations take between 1.5 and 4 times as long as haudcoded Fortrau and C implementations. We aualyze how all the implementations vary in performance, usability, and general applicability.","PeriodicalId":429060,"journal":{"name":"TRI-Ada","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125409837","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}