检索结果-内蒙古大学图书馆

GuideAutomator: Continuous Delivery of End User Documentation 39

GuideAutomator: Continuous Delivery of End User Documentatio...

39th IEEE/ACM International Conference on Software Engineering - New Ideas and Emerging Technologies Results Track (ICSE-NIER)

作者： Souza, Rodrigo Oliveira, Allan Univ Fed Bahia Dept Comp Sci Salvador BA Brazil

ISBN: (纸本)9781538626757

User guides, also known as user manuals, are a type of documentation aimed at helping a user operate a specific system. For software systems, user guides usually include screenshots that show users how to interact with the user interface. Because creating such screenshots is a slow, manual process, keeping the user guide up-to-date with changes in the user interface is challenging. We propose an approach in which the documentation writer interleaves the user guide text with source code that automates screen capturing. As a result, screenshots always reflect the latest software version, which makes the approach suitable for a project that uses continuous delivery. The approach was implemented as a prototype, called GuideAutomator.

关键词： software documentation automated documentation generator literate programming continuous delivery

来源：评论

学校读者我要写书评

暂无评论

Clerk: Moldable Live programming for Clojure 23

Clerk: Moldable Live Programming for Clojure

引用

7th International Conference on the Art, Science, and Engineering of programming (programming)

作者： Kavalar, Martin Markovics, Philippa Rusher, Jack Nextjournal Berlin Germany

ISBN: (纸本)9798400707551

Clerk is an open source Clojure programmer's assistant that builds upon the traditions of interactive and literate programming to provide a holistic moldable development environment. Clerk layers static analysis, incremental computation, and rich browser-based graphical presentations on top of a Clojure programmer's familiar toolkit to enhance their workflow.

关键词： literate programming moldable development live programming clojure lisp notebooks

来源：评论

学校读者我要写书评

暂无评论

WebGL and Web Audio software lightweight components for multimedia education

WebGL and Web Audio software lightweight components for mult...

引用

Conference on Photonics Applications in Astronomy, Communications, Industry, and High Energy Physics Experiments

作者： Chang, Xin Yuksel, Kivanc Skarbek, Wladyslaw Warsaw Univ Technol Dept Elect & Informat Technol Nowowiejska 15-19 PL-00665 Warsaw Poland

ISBN: (数字)9781510613553

ISBN: (纸本)9781510613553;9781510613546

The paper presents the results of our recent work on development of contemporary computing platform DC2 for multimedia education using WebGL and Web Audio - the W3C standards. Using literate programming paradigm the WEBSA educational tools were developed. It offers for a user (student), the access to expandable collection of WEBGL Shaders and web Audio scripts. The unique feature of DC2 is the option of literate programming, offered for both, the author and the reader in order to improve interactivity to lightweight WebGL and Web Audio components. For instance users can define: source audio nodes including synthetic sources, destination audio nodes, and nodes for audio processing such as: sound wave shaping, spectral band filtering, convolution based modification, etc. In case of WebGL beside of classic graphics effects based on mesh and fractal definitions, the novel image processing analysis by shaders is offered like nonlinear filtering, histogram of gradients, and Bayesian classifiers.

关键词： multimedia education WEBGL Web Audio literate programming

来源：评论

学校读者我要写书评

暂无评论

The Design Space of Computational Notebooks: An Analysis of 60 Systems in Academia and Industry

The Design Space of Computational Notebooks: An Analysis of ...

引用

IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)

作者： Lau, Sam Drosos, Ian Markel, Julia M. Guo, Philip J. Univ Calif San Diego La Jolla CA 92093 USA

ISBN: (纸本)9781728169019

Computational notebooks such as Jupyter are now used by millions of data scientists, machine learning engineers, and computational researchers to do exploratory and end-user programming. In recent years, dozens of different notebook systems have been developed across academia and industry. However, we still lack an understanding of how their individual designs relate to one another and what their tradeoffs are. To provide a holistic view of this rapidly-emerging landscape, we performed, to our knowledge, the first comprehensive design analysis of dozens of notebook systems. We analyzed 60 notebooks (16 academic papers, 29 industry products, and 15 experimental/R&D projects) and formulated a design space that succinctly captures variations in system features. Our design space covers 10 dimensions that include diverse ways of importing data, editing code and prose, running code, and publishing notebook outputs. We conclude by suggesting ways for researchers to push future projects beyond the current bounds of this space.

关键词： computational notebooks literate programming

来源：评论

学校读者我要写书评

暂无评论

Untangling Mechanized Proofs 13

Untangling Mechanized Proofs

引用

13th ACM SIGPLAN International Conference on Software Language Engineering (SLE) part of SPLASH Conference

作者： Pit-Claudel, Clement MIT CSAIL Cambridge MA 02139 USA

ISBN: (纸本)9781450381765

Proof assistants like Coq, Lean, or HOL4 rely heavily on stateful meta-programs called scripts to assemble proofs. Unlike pen-and-paper proofs, proof scripts only describe the steps to take (induct on x, apply a theorem,.), not the states that these steps lead to;as a result, plain proof scripts are essentially incomprehensible without the assistance of an interactive user interface able to run the script and show the corresponding proof states. Until now, the standard process to communicate a proof without forcing readers to execute its script was to manually copy-paste intermediate proof states into the script, as source code comments - a tedious and error-prone exercise. Additional prose (such as for a book or tutorial) was likewise embedded in comments, preserving executability at the cost of a mediocre text-editing experience. This paper describes a new approach to the development and dissemination of literate proof scripts, with a focus on the Coq proof assistant. Specifically, we describe two contributions: a compiler that interleaves Coq's output with the original proof script to produce interactive webpages that are complete, self-contained presentations of Coq proofs;and a new literate programming toolkit that allows authors to switch seamlessly between prose- and code-oriented views of the same sources, by translating back and forth between reStructuredText documents and literate Coq source files. In combination, these tools offer a new way to write, communicate, and preserve proofs, combining the flexibility of procedural proof scripts and the intelligibility of declarative proofs.

关键词： literate programming formal verification proof browsing proof presentation

来源：评论

学校读者我要写书评

暂无评论

Codestrates: literate Computing with Webstrates 17

Codestrates: Literate Computing with Webstrates

引用

30th Annual ACM Symposium on User Interface Software and Technology (UIST)

作者： Radle, Roman Nouwens, Midas Antonsen, Kristian Eagan, James R. Klokmose, Clemens N. Aarhus Univ Aarhus Denmark LTCI Paris France Telecom Paris Tech Paris France Univ Paris Saclay Paris France

ISBN: (纸本)9781450349819

We introduce Codestrates, a literate computing approach to developing interactive software. Codestrates blurs the distinction between the use and development of applications. It builds on the literate computing approach, commonly found in interactive notebooks such as Jupyter notebook. literate computing weaves together prose and live computation in the same document. However, literate computing in interactive notebooks are limited to computation and it is challenging to extend their user interface, reprogram their functionality, or develop stand-alone applications. Codestrates builds literate computing capabilities on top of Webstrates and demonstrates how it can be used for (i) collaborative interactive notebooks, (ii) extending its functionality from within itself, and (iii) developing reprogrammable applications.

关键词： literate programming literate computing interactive notebooks real-time collaboration reprogrammable systems

来源：评论

学校读者我要写书评

暂无评论

Using a Formal Specification Contractually

引用

Formal Aspects of Computing 1997年第4期9卷 349-358页

作者： Arthan, R. King, D. DERA Malvern Worcestershire United Kingdom LEMMAI Twyford Berks United Kingdom Hoskyns Group Plc London United Kingdom DERA Malvern Worcestershire WR14 3PS United Kingdom

A commonly made criticism of formal methods is that they increase costs. Selective use of formal methods to define critical requirements can, however, lead to a significant decrease in lifecycle costs. In particular the economic and technical benefits of outsourcing the development of software can be fully realized and the cost of outsourcing slightly reduced by use of a formal specification. In this paper we describe a development in which a formal specification prepared by the customer formed part of the contract with the supplier. We conclude that this use of a formal specification can reduce risks and costs for all concerned and can help foster fruitful and co-operative relations in situations which are often fraught with confrontation.

关键词： Ada Cost Formal specification literate programming Outsourcing SPARK Z

来源：评论

学校读者我要写书评

暂无评论

Using Org-mode and Subversion for Managing and Publishing Content in Computer Science courses

Using Org-mode and Subversion for Managing and Publishing Co...

引用

IEEE 4th International Conference on Technology for Education (T4E)

作者： Khare, Sankalp Misra, Ishan Choppella, Venkatesh Int Inst Informat Technol Hyderabad Andhra Pradesh India

ISBN: (纸本)9780769547596

Content creation and management is an inevitable part of teaching a course. This paper describes a novel way of handling this problem using Org-mode, a recently created text-based information management tool being used within the Emacs user community. We list certain desirable features, specially for the purposes of computer science courses, such as support for collaborative development and literate programming. We show how Org-mode compares favourably over other approaches like wikis and other content and course management systems. We describe why the combination of Org-mode and version control is suitable for creating and publishing content quickly, with minimum overhead in a collaborative manner.

关键词： Teaching CS Education literate programming Emacs Org-mode Subversion Content Management FOSS

来源：评论

学校读者我要写书评

暂无评论

Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis 30

Enhancing Comprehension and Navigation in Jupyter Notebooks ...

引用

30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)

作者： Venkatesh, Ashwin Prasad Shivarpatna Wang, Jiawei Li, Li Bodden, Eric Paderborn Univ Heinz Nixdorf Inst Paderborn Germany Monash Univ Fac Informat Technol Melbourne Vic Australia Beihang Univ Sch Software Beijing Peoples R China Fraunhofer IEM Paderborn Germany

ISBN: (纸本)9781665452786

Jupyter notebooks enable developers to interleave code snippets with rich-text and in-line visualizations. Data scientists use Jupyter notebook as the de-facto standard for creating and sharing machine-learning based solutions, primarily written in Python. Recent studies have demonstrated, however, that a large portion of Jupyter notebooks available on public platforms are undocumented and lacks a narrative structure. This reduces the readability of these notebooks. To address this shortcoming, this paper presents HeaderGen, a novel toolbased approach that automatically annotates code cells with categorical markdown headers based on a taxonomy of machinelearning operations, and classifies and displays function calls according to this taxonomy. For this functionality to be realized, HeaderGen enhances an existing call graph analysis in PyCG. To improve precision, HeaderGen extends PyCG's analysis with support for handling external library code and flow-sensitivity. The former is realized by facilitating the resolution of function return-types. Furthermore, HeaderGen uses type information to perform pattern matching on code syntax to annotate code cells. The evaluation on 15 real-world Jupyter notebooks from Kaggle shows that HeaderGen's underlying call graph analysis yields high accuracy (96.4% precision and 95.9% recall). This is because HeaderGen can resolve return-types of external libraries where existing type inference tools such as pytype (by Google), pyright (by Microsoft), and Jedi fall short. The header generation has a precision of 82.2% and a recall rate of 96.8% with regard to headers created manually by experts. In a user study, HeaderGen helps participants finish comprehension and navigation tasks faster. All participants clearly perceive HeaderGen as useful to their task.

关键词： static analysis python code comprehension annotation literate programming jupyter notebook

来源：评论

学校读者我要写书评

暂无评论

IUI4EUD: Intelligent User Interfaces for End-User Development 20

IUI4EUD: Intelligent User Interfaces for End-User Developmen...

引用

25th ACM International Conference on Intelligent User Interfaces (IUI)

作者： Myers, Brad A. Carnegie Mellon Univ Sch Comp Sci Human Comp Interact Inst Pittsburgh PA 15213 USA

ISBN: (纸本)9781450371186

End-User Developers program to meet some goal other than the code itself. This includes scientists, data analysts, and the general public when they write code. We have been working for many years on various ways to make end-user development more successful. In this talk, I will focus on two new projects where we are applying intelligent user interfaces to this long-standing challenge. In SUGILITE, the user can teach an intelligent agent new skills interactively with the user interfaces of relevant smartphone apps through a combination of programming by example (PBE) and natural language instructions. For instance, a user can teach SUGILITE how to order the cheaper car between Uber and Lyft, even though SUGILITE has no access to their APIs, no knowledge about the task domain, and no understanding of the concept "cheap" in advance. Another project, called Verdant, is focusing on helping data scientists, including those using Machine Learning and AI, to do exploratory programming. Verdant supports micro-versioning in computational notebooks for understanding the difference among the output and code of different versions, backtracking, provenance of output to its code, and searching the history. A goal for Verdant is to intelligently organize and summarize the raw history data to help data scientists make effective choices from it.

关键词： End-User programming (EUP) End-User Development (EUD) End-User Software Engineering (EUSE) Exploratory programming programming by Demonstration (PBD) literate programming Version Control Conversational Agents

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：