Drawings on napkins, video-game animation, and other ways to program computers
Communications of the ACM
ACM SIGPLAN Notices
CogentHelp: a tool for authoring dynamically generated help for Java GUIs
SIGDOC '97 Proceedings of the 15th annual international conference on Computer documentation
Software engineering teaching: a “Docware” approach
ITiCSE '99 Proceedings of the 4th annual SIGCSE/SIGCUE ITiCSE conference on Innovation and technology in computer science education
Dynamically assembled documentation
SIGDOC '99 Proceedings of the 17th annual international conference on Computer documentation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Writing for adaptable documentation
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
Literate Programming Simplified
IEEE Software
An Integrated Information System Powered by Prolog
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
The Agreement Problem Protocol Verification Environment
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Animating Algorithms Live and Post Mortem
Revised Lectures on Software Visualization, International Seminar
Developing reproducible and comprehensible computational models
Artificial Intelligence
Efficiency issues for ray tracing
Journal of Graphics Tools
An Ongoing OO Software Engineering Measurement Experiment
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
After the C++ Appetizer Comes the COBOL Main Course
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
A practical experiment in teaching software engineering metrics
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
API documentation with executable examples
Journal of Systems and Software
CogentHelp: NLG meets SE in a tool for authoring dynamically generated on-line help
ANLC '97 Proceedings of the fifth conference on Applied natural language processing
Extensible Programming for the 21st Century
Queue - Programming Languages
On Embedding Machine-Processable Semantics into Documents
IEEE Transactions on Knowledge and Data Engineering
Communications of the ACM - Spyware
Toward mining "concept keywords" from identifiers in large software projects
MSR '05 Proceedings of the 2005 international workshop on Mining software repositories
Design and implementation of a modern compiler course
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
Soundness and completeness warnings in ESC/Java2
Proceedings of the 2006 conference on Specification and verification of component-based systems
Efficiency issues for ray tracing
SIGGRAPH '05 ACM SIGGRAPH 2005 Courses
Developing maintainable software: the READABLE approach
Decision Support Systems
The semantic-document approach to combining documents and ontologies
International Journal of Human-Computer Studies
Software Design and Architecture The once and future focus of software engineering
FOSE '07 2007 Future of Software Engineering
RA: ResearchAssistant for the computational sciences
Proceedings of the 2007 workshop on Experimental computer science
RA: research assistant for the computational sciences
ecs'07 Experimental computer science on Experimental computer science
Community-Based Scaffolding to Promote End-User Learning
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
AXIOM: open source computer algebra system
ACM Communications in Computer Algebra
A Method for Verifiable and Validatable Business Process Modeling
Advances in Software Engineering
Model-Centric, Context-Aware Software Adaptation
Software Engineering for Self-Adaptive Systems
Ensuring Consistency between Designs, Documentation, Formal Specifications, and Implementations
CBSE '09 Proceedings of the 12th International Symposium on Component-Based Software Engineering
Intertextual semantics: A semantics for information design
Journal of the American Society for Information Science and Technology
A natural, tiered and executable UIDL for 3D user interfaces based on Concept-Oriented Design
ACM Transactions on Computer-Human Interaction (TOCHI)
Reimagining literate programming
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
An exploration of program as language
Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
Journal of Visual Languages and Computing
IWIC'07 Proceedings of the 1st international conference on Intercultural collaboration
Iterative software engineering for multiagent systems: the MASSIVE method
Iterative software engineering for multiagent systems: the MASSIVE method
Embedded Clarity in Filmification of Methods
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Ficticious: MicroLanguages for interactive fiction
Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion
The future of library specification
Proceedings of the FSE/SDP workshop on Future of software engineering research
Beauty and computer programming
ACM Inroads
Using smalltalk as a reflective executable meta-language
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Analytic worksheets: a framework to support human analysis of large streaming data volumes
INTERACT'05 Proceedings of the 2005 IFIP TC13 international conference on Human-Computer Interaction
CPP'11 Proceedings of the First international conference on Certified Programs and Proofs
The subject-oriented approach to software design and the abstract state machines method
Conceptual Modelling and Its Theoretical Foundations
Codelets: linking interactive documentation and example code in the editor
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Towards an efficient implementation of distributive programs
Algebraic'97 Proceedings of the 2nd international conference on Theory and Practice of Algebraic Specifications
Content development through the keyhole
EISE'09 Proceedings of the First international conference on Expressive Interactions for Sustainability and Empowerment
Is there beauty in ontologies?
Applied Ontology - Is there Beauty in Ontologies?
Proof, message and certificate
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics
Tutorial-based interfaces for cloud-enabled applications
Proceedings of the 25th annual ACM symposium on User interface software and technology
Automated verification of code automatically generated from Simulink®
Automated Software Engineering
Proceedings of the 2013 ACM symposium on Document engineering
Paperless subjective programming assignment assessment: a first step
Journal of Computing Sciences in Colleges
Document driven certification of computational science and engineering software
SE-HPCCSE '13 Proceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering
Teaching composition quality at scale: human judgment in the age of autograders
Proceedings of the 45th ACM technical symposium on Computer science education
Hi-index | 0.02 |