BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
S.P.D.Rosso E.Kang M.Vaziri I.Kuraj A.Milicevic Matt McCutchen S.Itzhaky J.Hao J.S.0001 Maryam Archie Czarina Lao Barry A. McNamara III
Talks about:
concept (2) system (2) comput (2) applic (2) web (2) spreadsheet (1) lightweight (1) represent (1) distribut (1) sequenti (1)

Person: Daniel Jackson 0001

DBLP DBLP: 0001:Daniel_Jackson

Contributed to:

FSE 20162016
Onward! 20162016
OOPSLA 20162016
Onward! 20192019

Wrote 7 papers:

FSE-2016-HaoK0J #design #effectiveness #formal method #lightweight
Designing minimal effective normative systems with the help of lightweight formal methods (JH, EK, JS0, DJ0), pp. 50–60.
FSE-2016-JacksonV #verification
Correct or usable? the limits of traditional verification (impact paper award) (DJ0, MV), p. 11.
FSE-2016-KangMJ #analysis #multi #security
Multi-representational security analysis (EK, AM, DJ0), pp. 181–192.
Onward-2016-KurajJ #distributed #paradigm #programming
Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift (IK, DJ0), pp. 145–164.
Onward-2016-McCutchenIJ #development #spreadsheet #web
Object spreadsheets: a new computational model for end-user development of data-centric web applications (MM, SI, DJ0), pp. 112–127.
OOPSLA-2016-RossoJ #concept #git
Purposes, concepts, misfits, and a redesign of git (SPDR, DJ0), pp. 292–310.
Onward-2019-Rosso0ALM #assembly #concept #declarative #web
Declarative assembly of web applications from predefined concepts (SPDR, DJ0, MA, CL, BAMI), pp. 79–93.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.