ACM SIGPLAN Notices
Enhancing program readability and comprehensibility with tools for program visualization
ICSE '88 Proceedings of the 10th international conference on Software engineering
Software development: advice by analogy
ACM SIGSOFT Software Engineering Notes
Comments, assertions and pragmas
ACM SIGPLAN Notices
Retrieving re-usable software components by polymorphic type
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
The Literate-Programming Paradigm
Computer
Implementation of multilinear operators in REDUCE and applications in mathematics
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
An annotated bibliography of literate programming
ACM SIGPLAN Notices
The Pan language-based editing system
ACM Transactions on Software Engineering and Methodology (TOSEM)
Four Dimensions of programming-language independence
ACM SIGPLAN Notices
HyperWeb: a framework for hypermedia-based environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
An executable language definition
ACM SIGPLAN Notices
A documentation scheme for object-oriented software systems
ACM SIGPLAN OOPS Messenger
APL programming without tears: it is time for a change
APL '93 Proceedings of the international conference on APL
Correctness of trap-based breakpoint implementations
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM SIGDOC Asterisk Journal of Computer Documentation
Using literate programming to teach good programming practices
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
An interaction engine for rich hypertexts
ECHT '94 Proceedings of the 1994 ACM European conference on Hypermedia technology
Literate Smalltalk Programming Using Hypertext
IEEE Transactions on Software Engineering
A web interface to parallel program source code archetypes
Supercomputing '95 Proceedings of the 1995 ACM/IEEE conference on Supercomputing
Software visualization for debugging
Communications of the ACM
ACM SIGPLAN Notices
The problem of examination questions in algorithmics
ITiCSE '98 Proceedings of the 6th annual conference on the teaching of computing and the 3rd annual conference on Integrating technology into computer science education: Changing the delivery of computer science education
Proceedings of the 2nd Australasian conference on Computer science education
Towards literate tools for novice programmers
Proceedings of the 2nd Australasian conference on Computer science education
Communications of the ACM
Communications of the ACM - Special issue: multiprocessing
Communications of the ACM
On designing intelligent hypertext systems for information management in software engineering
HYPERTEXT '87 Proceedings of the ACM conference on Hypertext
Literary criticism and programming pedagogy
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
ACM Transactions on Software Engineering and Methodology (TOSEM)
A WYSIWYG literate programming system (preliminary report)
CSC '91 Proceedings of the 19th annual conference on Computer Science
Elucidative programming in Java
IPCC/SIGDOC '00 Proceedings of IEEE professional communication society international professional communication conference and Proceedings of the 18th annual ACM international conference on Computer documentation: technology & teamwork
ACM SIGSOFT Software Engineering Notes
A compliance notation for verifying concurrent systems
Proceedings of the 24th International Conference on Software Engineering
What Is Software Testing? And Why Is It So Hard?
IEEE Software
Managing Complex Documents Over the WWW: A Case Study for XML
IEEE Transactions on Knowledge and Data Engineering
Nordic Journal of Computing
Documentation threads - presentation of fragmented documentation
Nordic Journal of Computing
Xspin/Project - Integrated Validation Management for Xspin
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking
Mizar Correctness Proofs of Generic Fraction Field Arithmetic
Selected Papers from the International Seminar on Generic Programming
A Documentation Generator for (C)LP Systems
CL '00 Proceedings of the First International Conference on Computational Logic
Interfacing Program Construction and Verification
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Nordic Journal of Computing
Journal of Computing Sciences in Colleges
Journal of Computing Sciences in Colleges
Developing a lisp-based preprocessor for TEX documents
Software—Practice & Experience
Design Pattern Rationale Graphs: linking design to source
Proceedings of the 25th International Conference on Software Engineering
An SGML-based programming environment for literate programming
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Debugging in a side effect free programming environment
SLIPE '85 Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments
An Implementation of the SSF Scalable Simulation Framework on the Cray MTA
Proceedings of the seventeenth workshop on Parallel and distributed simulation
Software Document Reuse with XML
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
API documentation with executable examples
Journal of Systems and Software
Elucidative Programming in open integrated development environments for Java
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
A theory-model formalization of FlexOr
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 1
IEEE Annals of the History of Computing
Invited application paper: program generation considered easy
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Exstatic: a generic static checker applied to documentation systems
Proceedings of the 22nd annual international conference on Design of communication: The engineering of quality documentation
A case for contemporary literate programming
SAICSIT '04 Proceedings of the 2004 annual research conference of the South African institute of computer scientists and information technologists on IT research in developing countries
An Expectant Chat About Script Maturity
LISA '00 Proceedings of the 14th USENIX conference on System administration
The Arusha Project: A Framework for Collaborative UNIX System Administration
LISA '01 Proceedings of the 15th USENIX conference on System administration
Encyclopedia of Computer Science
Maintaining program understanding: issues, tools, and future directions
Nordic Journal of Computing
Evaluation of two textual programming notations for children
AUIC '05 Proceedings of the Sixth Australasian conference on User interface - Volume 40
MSR '05 Proceedings of the 2005 international workshop on Mining software repositories
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Program auralization: Author's comments on Vickers and Alty, ICAD 2000
ACM Transactions on Applied Perception (TAP)
Impact of software engineering research on the practice of software configuration management
ACM Transactions on Software Engineering and Methodology (TOSEM)
WikiWiki weaving heterogeneous software artifacts
Proceedings of the 2005 international symposium on Wikis
Specifications, not meta-models
Proceedings of the 2006 international workshop on Global integrated model management
The boss online submission and assessment system
Journal on Educational Resources in Computing (JERIC)
Designing and explaining programs with a literate pseudocode
Journal on Educational Resources in Computing (JERIC)
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Incremental Maintenance of Software Artifacts
IEEE Transactions on Software Engineering
Reachability analysis for annotated code
Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering
On-line collaborative software development via wiki
Proceedings of the 2007 international symposium on Wikis
SIGDOC '07 Proceedings of the 25th annual ACM international conference on Design of communication
A survey of linguistic structures for application-level fault tolerance
ACM Computing Surveys (CSUR)
ACM Transactions on Software Engineering and Methodology (TOSEM)
Restoring Natural Language as a Computerised Mathematics Input Method
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Document-Oriented Views of Guideline Knowledge Bases
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Interval Subroutine Library Mission
Reliable Implementation of Real Number Algorithms: Theory and Practice
The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity
Implementation and Application of Functional Languages
Human-Computer Interaction
Aspect-oriented generation of the API documentation for AspectJ
Proceedings of the 4th workshop on Domain-specific aspect languages
StAMPL: A Filtration-Oriented Modeling Tool for Multistage Stochastic Recourse Problems
INFORMS Journal on Computing
Listening to programmers Taxonomies and characteristics of comments in operating system code
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Scribble: closing the book on ad hoc documentation tools
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
The architecture of the Utrecht Haskell compiler
Proceedings of the 2nd ACM SIGPLAN symposium on Haskell
Software architecture built from behavior models
ACM SIGSOFT Software Engineering Notes
Intertextual semantics: A semantics for information design
Journal of the American Society for Information Science and Technology
Proceedings of the 9th ACM symposium on Document engineering
XML Lossy Text Compression: A Preliminary Study
XSym '09 Proceedings of the 6th International XML Database Symposium on Database and XML Technologies
Reimagining literate programming
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Monterey Phoenix, or how to make software architecture executable
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Lively Wiki a development environment for creating and sharing active web content
Proceedings of the 5th International Symposium on Wikis and Open Collaboration
Adessowiki on-line collaborative scientific programming platform
Proceedings of the 5th International Symposium on Wikis and Open Collaboration
Computer Standards & Interfaces
Tool support for crosscutting concerns of API documentation
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Are your rules online? four web rule essentials
RuleML'07 Proceedings of the 2007 international conference on Advances in rule interchange and applications
From goals to high-variability software design
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
ComTest: a tool to impart TDD and unit testing to introductory level programming
Proceedings of the fifteenth annual conference on Innovation and technology in computer science education
CodeTalk Conversations about Code
C5 '10 Proceedings of the 2010 Eighth International Conference on Creating, Connecting and Collaborating through Computing
Writing software to be understood: an exercise in Ginger using literate programming
Journal of Computing Sciences in Colleges
Towards automatically generating summary comments for Java methods
Proceedings of the IEEE/ACM international conference on Automated software engineering
A survey of traceability in requirements engineering and model-driven development
Software and Systems Modeling (SoSyM)
The Tower of Babel did not fail
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Ficticious: MicroLanguages for interactive fiction
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
LP/LISP: literate programming for Lisp
Proceedings of the 2010 international conference on Lisp
Automatic quality assessment of source code comments: the JavadocMiner
NLDB'10 Proceedings of the Natural language processing and information systems, and 15th international conference on Applications of natural language to information systems
Practical issues with formal specifications: lessons learned from an industrial case study
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Algorithm engineering: bridging the gap between algorithm theory and practice
Algorithm engineering: bridging the gap between algorithm theory and practice
Patterns for consistent software documentation
Proceedings of the 16th Conference on Pattern Languages of Programs
Journal of Visual Languages and Computing
A unified format for language documents
SLE'10 Proceedings of the Third international conference on Software language engineering
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs
Proceedings of the 33rd International Conference on Software Engineering
Leveraging temporal and spatial separations with the 24-hour knowledge factory paradigm
Information Systems Frontiers
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
A literate experimentation manifesto
Proceedings of the 10th SIGPLAN symposium on New ideas, new paradigms, and reflections on programming and software
Top-down progressive computing
RSKT'11 Proceedings of the 6th international conference on Rough sets and knowledge technology
Assisted proof document authoring
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Literate proving: presenting and documenting formal proofs
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
Language documentation: the Nahuatl grammar
CICLing'05 Proceedings of the 6th international conference on Computational Linguistics and Intelligent Text Processing
Do we really need to extend syntax for advanced modularity?
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Developing tools with fujaba XProM
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Fission for program comprehension
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
Procedures in the refinement calculus: a new approach?
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Towards an efficient implementation of distributive programs
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Elucidative development for model-based documentation
TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns
From manual to semi-automatic semantic annotation: about ontology-based text annotation tools
Proceedings of the COLING-2000 Workshop on Semantic Annotation and Intelligent Content
Reproducible network experiments using container-based emulation
Proceedings of the 8th international conference on Emerging networking experiments and technologies
Hybrid Offshoring: Composite Personae and Evolving Collaboration Technologies
Information Resources Management Journal
Data & Knowledge Engineering
Direct code execution: revisiting library OS architecture for reproducible network experiments
Proceedings of the ninth ACM conference on Emerging networking experiments and technologies
VSP--a quantum-electronic simulation framework
Journal of Computational Electronics
DropsBox: the Dresden Open Software Toolbox
Software and Systems Modeling (SoSyM)
Hi-index | 0.05 |