ABSTRACT OF THE DISSERTATION Static Analysis for a Software
Transformation Tool by John David Morgenthaler Doctor of Philosophy in
Computer Science University of California , San Diego , 1997 Professor William
G. Griswold , Chair ...
Author: John David Morgenthaler
Publisher:
ISBN: UCSD:31822023429582
Category:
Page: 232
View: 733
... TESTING , ANALYSIS , FORMATTING , TRANSFORMATION ,
DOCUMENTATION , AND PORTING OF CODE , TOOLS FOR REALIZING MOST
OF THESE FUNCTIONAL CAPABILITIES ALREADY EXIST , YET TOOLPACK
AIMS TO DO FAR ...
Author: Raymond C. Houghton
Publisher:
ISBN: UOM:39015095102284
Category: Computer programming
Page:
View: 771
... chapter is desigced to contain software tools which ease the process of
program development and maintenance . The types of jota performed by such
tools are program transformation ( 1 . 8 , convert to double precision ) , static
analysis ( .
Author: Ronald F. Boisvert
Publisher:
ISBN: STANFORD:36105032525227
Category: Computer programs
Page:
View: 776
ACM Trans. Softw. Eng. Methodol. 14(1), 1–41 (2005) Morgenthaler, J.D.: Static
analysis for a software transformation tool. Ph.D. thesis, University of California at
San Diego, La Jolla, CA, USA (1998), uMI Order No. GAX98-04509 Nielson, F., ...
Author: Ralf Lämmel
Publisher: Springer
ISBN: 9783642359927
Category: Computers
Page: 449
View: 456
This tutorial volume includes revised and extended lecture notes of six long tutorials, five short tutorials, and one peer-reviewed participant contribution held at the 4th International Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE 2011. The school presents the state of the art in software language engineering and generative and transformational techniques in software engineering with coverage of foundations, methods, tools, and case studies.Abstract of the source code itself . Software maintenance , program analysis and
transformation tools almost always rely on static source code analysis as the first
and fundamental step to gather information . In the past , two different strategies ...
Author:
Publisher:
ISBN: 0769520057
Category: Source code (Computer science)
Page: 213
View: 163
Presentation by Tree Transformation . PhD thesis , Computer Science Division -
EECS , University of California , Berkeley , Berkeley , CA 94720 , January 14 ,
1998 . ( 30 ) J. D. Morgenthaler . Static Analysis for a Software Transformation
Tool .
Author:
Publisher:
ISBN: UCAL:C3573980
Category: Computer engineering
Page:
View: 106
The techniques and tools will include formally proved pattern-directed
transformationsof specifications to scale up the classical calculi of refinement. We
will also investigate the use of model checking and static analysis techniques
and tools ...
Author: Bertrand Meyer
Publisher: Springer Science & Business Media
ISBN: 9783540691471
Category: Computers
Page: 546
View: 969
A Step Towards Verified Software Worries about the reliability of software are as old as software itself; techniques for allaying these worries predate even James King’s 1969 thesis on “A program verifier. ” What gives the whole topic a new urgency is the conjunction of three phenomena: the blitz-like spread of software-rich systems to control ever more facets of our world and our lives; our growing impatience with deficiencies; and the development—proceeding more slowly, alas, than the other two trends—of techniques to ensure and verify software quality. In 2002 Tony Hoare, one of the most distinguished contributors to these advances over the past four decades, came to the conclusion that piecemeal efforts are no longer sufficient and proposed a “Grand Challenge” intended to achieve, over 15 years, the production of a verifying compiler: a tool that while processing programs would also guarantee their adherence to specified properties of correctness, robustness, safety, security and other desirable properties. As Hoare sees it, this endeavor is not a mere research project, as might normally be carried out by one team or a small consortium of teams, but a momentous endeavor, comparable in its scope to the successful mission to send a man to the moon or to the sequencing of the human genome.SOFTWARE DEVELOPMENT TOOLS C2 series of diagnostic commands ( i . e . ,
TRACE , DUMP , etc . ) ... They describe the processing functions performed by a
tool and fall into three classes : transformation , static analysis , and dynamic ...
Author: Stephen J. Andriole
Publisher:
ISBN: UOM:39015011190181
Category: Computers
Page: 244
View: 363
J. D. Morgenthaler , " Static Analysis for a Software Transformation Tool " , Ph.D.
Thesis , University of California , San Diego , 1997 . J. R. Cordy , “ LS / 2000
Technical Guide to the Year 2000 " , The DRI Legasys Group , Technical Report ...
Author: M. H. Hamza
Publisher: Acta Press
ISBN: CORNELL:31924087138701
Category: Computers
Page: 618
View: 649
huge range of transformations that can be described using a mixed approach of
pattern - matching and more complex tests and code ... Compilers : Principles
and Techniques and Tools . ... Static Analysis for a Software Transformation Tool
.
Author: Tibor Gyimóthy
Publisher: IEEE
ISBN: 0769514383
Category: Computers
Page: 263
View: 840
Proceedings of a March 2002 conference held in Budapest, providing an international forum for discussion and exchange of experience between researchers and practitioners. Twenty-eight contributions are arranged in sections on software maintenance, architectural design recovery, source code analysis,Finally , we showed how to employ static analysis information in reproducing
phase . Suggested reproducing method is a language based approach where no
additional tools are required except simple source code transformation tools .
Author:
Publisher: IEEE
ISBN: 0818671718
Category: Computers
Page: 525
View: 898
Annotation The 55 papers cover testing, requirements modelling, concurrency, object-oriented development, software process, distributed systems, development environments, formal methods, quality assurance and reliability, reuse, specification, maintenance, information systems, and reasoning and verification. The keynote addresses discuss software systems engineering from domain analysis via requirements capture to software architectures; and communication, collaboration, and cooperation in software development. The third keynote is not included in the proceedings. No subject index. Annotation copyright by Book News, Inc., Portland, OR.Such highly integrated designs bring new challenges to the routing tool . ...
temperature constraints as a constrained nonlinear programming Model - driven
integration of software and service components . ... code , but also leverages the
integration tools for various supporting functionality such as analysis ,
transformation ...
Author:
Publisher:
ISBN: STANFORD:36105123442563
Category: Dissertations, Academic
Page:
View: 902
( 2 ) This tool reconstructs COBOL source code into design specification
language PDL - 1 ( which we developed in the the ... With software - base
handler , becomes easier to implement dynamic analysis tools , conversion (
transformation ) ...
Author: IEEE Computer Society
Publisher:
ISBN: 0818604786
Category: Computer programming
Page: 395
View: 837
Syntax Directed Editor with Data Plow Analyzer This tool is a composite of the
syntax directed editor and the static ... With software-base handler, it becomes
easier to implement dynamic analysis tools, conversion (transformation) tools
and ...
Author:
Publisher:
ISBN: CORNELL:31924004343822
Category: Computer programming
Page:
View: 554
1 Transformation Technology Concepts Before discussing transformation
technology categories , readers should be familiar ... For example , static program
analysis tools do not track live data through a program or system and therefore
are not as useful for ... Unfortunately , analysts have used static analysis tools for
this purpose because they were unaware of the availability of dynamic analysis
software .
Author: William M. Ulrich
Publisher:
ISBN: UOM:39015054461515
Category: Computers
Page: 422
View: 926
In Legacy Systems: Transformation Strategies, leading IT and business architecture consultant William Ulrich presents a step-by-step, phased roadmap to legacy transformation that maximizes business value, while minimizing cost, disruption, and risk. Transformation strategies, organizing disciplines, techniques, and tools reduce the risks of deploying the component-based architectures you need to stay competitive while maximizing the business value of core systems that work.If introduced variables make the extension more complex , the extension can turn
off the default transformation . ... syntax trees hard - code many design decisions
and force the user of the tool to accept many of the default transformations .
Author: Andy C. Chou
Publisher:
ISBN: STANFORD:36105023747731
Category:
Page: 338
View: 761
... and function features , as defined in the Taxonomy of Software Tool Features (
8 ) . Function features further classified into transformation , static analysis , and
dynamic analysis features . This paper reports only on the static analysis features
...
Author: IEEE Computer Society
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 0818605049
Category: Automatic programming (Computer science)
Page: 221
View: 696
C programs depend upon macros processed using the C preprocessor , but
these macros are difficult to analyze and are often error - prone [ 4 ) . Existing
tools that analyze and transform C source code have rudimentary support for the
...
Author: Harald Gall
Publisher: Association for Computing Machinery (ACM)
ISBN: 1595930140
Category: Computer science
Page: 392
View: 650
Managing a Multi - File , Multi - Language Software Repository for Program
Comprehension Tools A Generic ... for any kind of static analysis but tend to
become difficult to handle in a multi language environment because of their huge
number of entity and relationship types . ... used approach to provide a basis for
program comprehension tools like visualization tools , browsers , transformation
tools etc .
Author: IEEE Computer Society
Publisher: IEEE Computer Society
ISBN: 0818685603
Category: Computers
Page: 215
View: 243
This text on program comprehension is suitable for researchers, professors, practitioners, students and other computing professionals. Contents include: visualization; architecture; integration frameworks; comprehension strategies; parsing; decomposition; and empirical studies.
Author:
Publisher:
ISBN: STANFORD:36105011909459
Category: Dissertation abstracts
Page:
View: 675
