Searched: ^s
Results from Transform web
Semantics, Applications and Implementation of Program Generation Deadline: March Conference: September (with PLI) 2002: http://www.cs.yale.edu/homes/taha/saig 2001 ...
International Static Analysis Symposium Description Static Analysis is increasingly recognized as a fundamental tool for high performance implementations and verification ...
See the SimpleAPIforXML
IEEE International Workshop on Source Code Analysis and Manipulation Deadline: April Conference: October Location: Chicago, USA (2004) Web: 2004: http://www.brunel ...
SDF is a formalism for the definition of the syntax of ProgrammingLanguages and DataFormats. Its features include: a module system, integration of lexical and context ...
SDFII is successor of the first Syntax Definition Formalism SDF. SDFII features Integration of lexical and context-free syntax Modules with parameters and renaming ...
Specification and Description Language http://www.tdr.dk/public/SDL/SDL.html
Maintainer MerijnDeJonge Description During a project in cooporation with Lucent Technologies, we used XT to re-engineer an SDL grammar from an operational YACC grammar ...
Software Design And Management AG. http://www.sdm.de/ Consulting firm which also does ReEngineering projects using its own hypertext repository called SHORE. SHORE ...
Software Engineering Institute http://www.sei.cmu.edu/ Topics: SoftwareArchitecture SoftwareProductLines SoftwareProcess
International Confernce on Software Engineering and Knowledge Engineering The conference aims at bringing together experts in knowledge engineering and knowledge ...
Interactive Software Development and Renovation Group (SEN1) (CWI, Amsterdam) http://www.cwi.nl/themes/sen1/ See also SoftwareRenovationAtCWI. Main.ArieVanDeursen ...
SHriMP: Simple Hierarchical Multi-Perspective views. Homepage: http://shrimp.cs.uvic.ca/shrimp More (historical) info at http://www.csr.uvic.ca/~mstorey/research/shrimp ...
ACM Special Interest Group on Programming Languages http://www.acm.org/sigplan/ CategoryConference
ACM Special Interest Group on SoftwareEngineering. See http://www.acm.org/sigsoft/
http://www.smlnj.org/ Standard ML of New Jersey is a free Standard ML compiler, ported to many platforms. It does not directly compile to stand alone applications ...
SMake is a tool to produce standard Makefiles from templates. It's not as advanced as Tools.AutoMake. http://freshmeat.net/projects/smake/
SORCERER is the tree parser generator of ANTLR. Papers TerenceParr. Language Translation Using PCCTS and CPP. A Reference Guide. Automata Publishing Company, San Jose ...
The SoftwareProductLine Conference 2000: http://www.sei.cmu.edu/plp/conf/SPLC.html 2002: http://www.sei.cmu.edu/SPLC2/ 2004: http://www.sei.cmu.edu/SPLC2004/ CategoryConference ...
STTT is the Journal on Software Tools for Technology Transfer
The SwarmForum
Software Engineering Body of Knowledge. The software engineering body of knowledge is an all-inclusive term that describes the sum of knowledge within the profession ...
SableCC is a compiler compiler framework for Java. Features: produces LALR(1) parser generation of strictly-typed abstract syntax trees generation of tree-walker classes ...
Sander Tichelaar Topics: ExchangeFormats ProgramRefactoring SoftwareVisualization Home page: http://www.iam.unibe.ch/~tichel/ CategoryPeople
Scaffolding for Software Renovation by Alex Sellink and Chris Verhoef. Available: ps 1 html 2 pdf 3
EelcoVisser. Scannerless Generalized-LR parsing . Technical Report P9707, Programming Research Group, University of Amsterdam, July 1997. Online: http://www.cs.uu ...
This is a page with links to scheduling software. This is not really related to program transformation. Collections http://linas.org/linux/pm.html overview of tools ...
DocumentTypeDefinition was introduced in the XML standard as the schema language for XML. Because of the limited power of DTD and because it cannot handle XMLNamespaces ...
Scheme is a dialect of LispLanguage, i.e., another FunctionalProgrammingLanguage. http://www.schemers.org DrScheme: a programming environment for Scheme Teach Yourself ...
Homepage: http://www.scicomp.com SciComp is specialized in ProgramSynthesis of numerical programs from PartialDifferentialEquations, especially in the domain of financial ...
The ProgramSynthesis system of SciComp CategorySystem Contributions by Main.EelcoVisser
Scientific Toolworks, Inc. We make tools that help developers understand, document, and maintain impossibly large or complex amounts of source code. What our tools ...
ScpJ Project: SuperCompilation for JavaLanguage See: http://www.keldysh.ru/dpt 16/ScpJ/index.htm http://www.supercompilers.com/scpj.htm Main.MaD 18 Sep 2001
Sculptor and Realizer Here is information about two decompilers which were written in Spain. The first is a decompiler written in 1989 for a 4th generation language ...
Searching the wiki is done using regular expressions. See man perlre for the syntax. Searching is case insensitive, so searching for 'asf' finds 'ASF', 'Asf' and ...
SemanticDesigns is a company that provides the DMSSoftwareReengineeringToolkit. Homepage: http://www.semdesigns.com IraBaxter CategoryCompany
Similix is an autoprojector (self-applicable partial evaluator) for a large higher-order subset of the strict functional language Scheme. Similix treats source programs ...
Homepage: http://research.microsoft.com/Users/simonpj/ GHC CompilationByTransformation CategoryPeople
Homepage : http://www.saxproject.org/ The Simple API for XML (SAX) is a standard interface for event-based XML parsing. Because of the event-based approach the interface ...
INCLUDE{ TWIKIWEB .SiteMap}
SmalltalkRefactoringBrowser is wiki for SmalltalkRefactory Main.MartinBravenboer 31 Oct 2001
Smalltalk Refactory The (Smalltalk) Refactoring Browser is an interactive program for ProgramRefactoring, i.e., behaviour preserving transformations that improve ...
SoftMetaWare provides consulting services on-site as required, or remotely via web-based collaboration tools when appropriate. We specialise in implementing model ...
The Software Specification and Design Group at the University of Leicester. The host of the LegToNet project. http://www.cs.le.ac.uk/SoftSD Main.JoseLuizFiadeiro ...
OOPSLA 2001 Workshop Software Archeology: Understanding Large Systems Ward Cunningham, Andrew Hunt, Brian Marick, and Dave Thomas How do you come to grips with 1 ...
A survey of software architecture is provided by David Garlan, in SoftwareArchitectureARoadMap. Garlan loosely defines architecture as a software system's gross organization ...
Software Architecture: a Roadmap David Garlan In A, Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event colocated with ICSE 2000). Roadmap ...
Definitions of Software Architecture. There are many definitions of what SoftwareArchitecture is: an overview of these is given at http://www.sei.cmu.edu/architecture ...
Software configuration is concerned with creating different specializations of a software artifact for different environments. (See also VariabilityManagement) Configuration ...
Applications of ProgramTransformation in software engineering ProgramSynthesis ProgramCalculation ReuseByTransformation MaintenanceByTransformation ProgramMigration ...
If you are looking for more up to date information on Software Evolution, please visit http://www.planet-evolution.org Definitions The Research Institute in Software ...
ICGT 2002 Workshop on Software Evolution Through Transformations (SET 2002) Towards uniform support throughout the software life-cycle Transformations of artefacts ...
Software generation is a class of transformations in which software implementations are generated from high-level specifications or (broadly interpreted) of generating ...
According to Chapter 9 of GenerativeProgrammingBook: a generator is a program that takes a higher-level specification of piece of software and produces its implementation ...
The Software Improvement Group is a young company offering tools that help businesses deal with their (Cobol) legacy systems. We're offering services in three areas ...
Definitions Software maintenance is defined by the ANSI/IEEE Std. 729-1983 and IEEE Std. 1219-1998 as: modification of a software product after delivery to correct ...
Software Maintenance And Evolution: A Roadmap By KeithBennett and VaclavRajlich. In A Finkelstein (ed.) The Future of Software Engineering , ACM Press, 2000. (event ...
Software Migrations Ltd Software Migrations Ltd (SML) use formal transformations to convert one form of code to another; they can work on anything from assembly language ...
From W. Humphrey, Managing the Software Process , Addison-Wesley, 1989: The software process is the set of tools, methods, and practices used to produce a software ...
Software product line Group of products, sharing a common, managed set of features to satisfy the needs of a selected market. J. Withey, Investment Analysis of Software ...
The ReverseAndReengineeringTaxonomy defines software renovation as a synonym for ReEngineering. In CWI parlance, it is covers research in the areas of ReverseEngineering ...
The SEN1 research group at CWI works on the following SoftwareRenovation topics: DocumentationGeneration for COBOL systems ArchitectureExtraction Type inferencing ...
Description The Asf+Sdf meta-environment has been used as a platform for program transformation geared towards SoftwareRenovation. The basic idea is to generate default ...
Charles W. Krueger provides a survey in the ACM Computing Surveys 24(2):131-183, June 1992. Software reuse is the process of creating software systems from existing ...
Chapter 5 of the SWEBOK guide defines testing as follows: Software testing consists of the dynamic verification of the behavior of a program on a finite set of test ...
The software visualization 1 group at GeorgiaTech describes software visualization as: the use of computer graphics and animation to help illustrate and present computer ...
Java Optimization Framework http://www.sable.mcgill.ca/soot/ People Project of the Sable research group (McGill University, Montreal) Components Intermediate representations ...
Description Sort graphs are graphs that represent the dependencies between sorts in a grammar. Visual clues The following example sort graph provides a legend for ...
sortrsf is a command line program that is part of the RigiSystem. If your Rigi environment is setup: documentation is located at $RIGI/doc/rigiutils/sortrsf.html ...
SourceAgain is a commercial Java decompiler by Ahpah Software. SourceAgain correctly recovers Java control structures and optimizations from the bytecode. Further ...
See FrontEndART for details. Main.RudolfFerenc 10 Aug 2004
http://www.source-recovery.com Note the hyphen: www.sourcerecovery.com is a different company (see JuggerSoft). From the Source Recovery Company's web page: We use ...
http://www.v-com.com/product/devsopr.html Sourcer is a commercial program, for disassembling x86 binaries (EXE, NE and PE). Sourcer 8.0, includes the BIOS Preprocessor ...
SpecWare is a ProgramSynthesis system based on CategoryTheory. Homepage: http://www.kestrel.edu/HTML/prototypes/specware.html
Spencer Rugaber, GeorgiaTech, Atlanta Topics: ReverseEngineering ProgramUnderstanding See http://www.cc.gatech.edu/fac/Spencer.Rugaber/ CategoryPeople
HomePage: http://www.mcs.drexel.edu/~smancori Research Web Page: http://serg.mcs.drexel.edu Main.TWikiGuest 08 Apr 2001 CategoryPeople
Static Analysis Techniques for Equational Logic Programming RakeshVerma http://arXiv.org/abs/cs/0010034
A translator (typically a compiler) which performs its transformations before the program is run. Usually, the translator is unaware of any dynamic aspects of the ...
Stephen F. Heffner entered the computer field in 1963 as a Customer Engineer for IBM. He has been involved in systems analysis, design, and programming since 1964 ...
Strategic programming is an idiom for generic programming where the concept of a strategy plays a central role. A strategy is a generic, data-processing action. Strategies ...
Ralf Lämmel and Eelco Visser and Joost Visser. Strategic Programming Meets Adaptive Programming . In Proceedings of Aspect-Oriented Software Development (AOSD'03) ...
Strategies as Updatable Fold Algebras by RalfLaemmel and JoostVisser Available: .Extended abstract 1 .
Homepage: http://www.logic.at/strategies/ Series of workshops on strategies in automated deductions. The page contains links to systems providing strategies. Copenhagen ...
Strategies play an important role in ProgramTransformation. The purpose of this survey is to get an overview of the styles of strategies used in various TransformationSystems ...
StrategoXT is the combination of the transformation language Stratego with the XT toolset for constructing transformation systems. Capabilities include: rewrite rules ...
(supervised compilation) A ProgramOptimization technique, due to ValentinTurchin and colleagues, a source-to-souce ProgramTransformation (rephrasings), more powerful ...
SuperCompilers, Llc Homepage: http://www.supercompilers.com/ ValentinTurchin Main.MaD 16 Jun 2003 CategoryCompany
Dagstuhl Seminar 3061 Software Architecture: Recovery and Modelling More information on this seminar: http://www.dagstuhl.de/03061/ http://www.bauhaus-stuttgart.de ...
Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 Software architecture recovery aims at presenting existing software ...
Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 Software architecture recovery aims at presenting existing software ...
Software Architecture Recovery and Modelling WCRE 2001 Discussion Forum Stuttgart, 2 October, 2001 SwarmForum Call for Participation Software architecture recovery ...
A syntax definition is a high-level description of the syntax of a language, usually in the form of a context-free grammar. Languages for syntax definition include ...
EelcoVisser, PhD thesis, University of Amsterdam, 1997. Abstract LanguagePrototyping is the activity of designing and testing definitions of new or existing computer ...
2003-01-31 FrontEndART released Columbus/CAN 3.5 final. (see http://www.frontendart.com) Apart from the usual bug fixes, this final version contains new features ...
Number of topics: 95