-
Notifications
You must be signed in to change notification settings - Fork 2
/
Copy pathbibliography.bib
1376 lines (1247 loc) · 96.7 KB
/
bibliography.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/
%% Created for Vincent Lecrubier at 2015-03-03 21:51:59 +0100
%% Saved with string encoding Unicode (UTF-8)
@string{acmtois = {ACM Transactions on Office Information Systems}}
@string{uist = {Proceedings of the ACM UIST}}
@article{sculthorpe2009safe,
Author = {Sculthorpe, Neil and Nilsson, Henrik},
Date-Added = {2015-03-03 20:39:56 +0000},
Date-Modified = {2015-03-03 20:51:59 +0000},
Journal = {ACM Sigplan Notices},
Keywords = {functional programming, hybrid, discrete, continuous},
Number = {9},
Pages = {23--34},
Publisher = {ACM},
Rating = {4},
Title = {Safe functional reactive programming through dependent types},
Volume = {44},
Year = {2009},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QE3BhcGVycy9pY2ZwMjAwOS5wZGbSFwsYGVdOUy5kYXRhTxEBlAAAAAABlAACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FDGljZnAyMDA5LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHZJvvRG9q5AAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADRG8ypAAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBBTWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgBpY2ZwMjAwOS5wZGYAAA4AGgAMAGkAYwBmAHAAMgAwADAAOQAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgAxVXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL2ljZnAyMDA5LnBkZgAAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgCkAKkAsQJJAksCUAJbAmQCcgJ2An0ChgKLApgCmwKtArACtQAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAK3}}
@article{czaplicki2012elm,
Author = {Czaplicki, Evan},
Date-Added = {2015-03-03 20:36:27 +0000},
Date-Modified = {2015-03-03 20:36:52 +0000},
Keywords = {Elm, functional programming},
Title = {Elm: Concurrent FRP for Functional GUIs},
Year = {2012},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QGXBhcGVycy9jb25jdXJyZW50LWZycC5wZGbSFwsYGVdOUy5kYXRhTxEBrAAAAAABrAACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FEmNvbmN1cnJlbnQtZnJwLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHZI/7RG9m7AAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADRG8urAAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBHTWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgBjb25jdXJyZW50LWZycC5wZGYAAA4AJgASAGMAbwBuAGMAdQByAHIAZQBuAHQALQBmAHIAcAAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgA3VXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL2NvbmN1cnJlbnQtZnJwLnBkZgAAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgCqAK8AtwJnAmkCbgJ5AoICkAKUApsCpAKpArYCuQLLAs4C0wAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAALV}}
@webpage{LearnProg,
Date-Added = {2015-03-03 14:09:35 +0000},
Date-Modified = {2015-03-03 14:10:15 +0000},
Rating = {4},
Title = {Learning programming},
Url = {http://worrydream.com/LearnableProgramming/},
Bdsk-Url-1 = {http://worrydream.com/LearnableProgramming/}}
@inproceedings{maloney1995directness,
Author = {Maloney, John H and Smith, Randall B},
Booktitle = {Proceedings of the 8th annual ACM symposium on User interface and software technology},
Date-Added = {2015-03-03 14:05:48 +0000},
Date-Modified = {2015-03-03 14:06:20 +0000},
Keywords = {functional programming reactive elm react user interface liveness directness morphic},
Organization = {ACM},
Pages = {21--28},
Title = {Directness and liveness in the morphic user interface construction environment},
Year = {1995},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QGXBhcGVycy8xMC4xLjEuMTAzLjYwMC5wZGbSFwsYGVdOUy5kYXRhTxEBrAAAAAABrAACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FEjEwLjEuMS4xMDMuNjAwLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHYwaHRG34qAAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADRG3AaAAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBHTWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgAxMC4xLjEuMTAzLjYwMC5wZGYAAA4AJgASADEAMAAuADEALgAxAC4AMQAwADMALgA2ADAAMAAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgA3VXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzLzEwLjEuMS4xMDMuNjAwLnBkZgAAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgCqAK8AtwJnAmkCbgJ5AoICkAKUApsCpAKpArYCuQLLAs4C0wAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAALV}}
@inproceedings{felleisen2009functional,
Author = {Felleisen, Matthias and Findler, Robert Bruce and Flatt, Matthew and Krishnamurthi, Shriram},
Booktitle = {ACM Sigplan Notices},
Date-Added = {2015-03-03 14:03:14 +0000},
Date-Modified = {2015-03-03 14:03:55 +0000},
Keywords = {functional programming reactive elm react},
Number = {9},
Organization = {ACM},
Pages = {47--58},
Rating = {4},
Title = {A functional I/O system or, fun for freshman kids},
Volume = {44},
Year = {2009},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QFnBhcGVycy9pY2ZwMDktZmZmay5wZGbSFwsYGVdOUy5kYXRhTxEBngAAAAABngACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FD2ljZnAwOS1mZmZrLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHYwKTRG32MAAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADRG298AAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBETWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgBpY2ZwMDktZmZmay5wZGYADgAgAA8AaQBjAGYAcAAwADkALQBmAGYAZgBrAC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASADRVc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvaWNmcDA5LWZmZmsucGRmABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4ApwCsALQCVgJYAl0CaAJxAn8CgwKKApMCmAKlAqgCugK9AsIAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAACxA==}}
@inproceedings{borning1997solving,
Author = {Borning, Alan and Marriott, Kim and Stuckey, Peter and Xiao, Yi},
Booktitle = {Proceedings of the 10th annual ACM symposium on User interface software and technology},
Date-Added = {2015-02-26 16:38:36 +0000},
Date-Modified = {2015-02-26 16:39:10 +0000},
Keywords = {Cassowary layout engine solver apple ios grid},
Organization = {ACM},
Pages = {87--96},
Rating = {4},
Title = {Solving linear arithmetic constraints for user interface applications},
Year = {1997},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QEXBhcGVycy91aXN0OTcucGRm0hcLGBlXTlMuZGF0YU8RAYwAAAAAAYwAAgAACk1hY2Jvb2tTU0QAAAAAAAAAAAAAAAAAAAAAAM+RPi1IKwAAABf+xQp1aXN0OTcucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAB1dQI0RUKaAAAAAAAAAAAAAEAAwAACSAAAAAAAAAAAAAAAAAAAAAGcGFwZXJzABAACAAAz5EiDQAAABEACAAA0RT8WAAAAAEAFAAX/sUAFQVVAAYmNwAGJjYAAmWyAAIAP01hY2Jvb2tTU0Q6VXNlcnM6AHZpbmNlbnQ6AERvY3VtZW50czoAVGhlc2U6AHBhcGVyczoAdWlzdDk3LnBkZgAADgAWAAoAdQBpAHMAdAA5ADcALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIAL1VzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy91aXN0OTcucGRmAAATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAKIApwCvAj8CQQJGAlECWgJoAmwCcwJ8AoECjgKRAqMCpgKrAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAq0=}}
@incollection{vanderhart2010macros,
Annote = {http://link.springer.com/chapter/10.1007/978-1-4302-7230-4_12#page-1},
Author = {VanderHart, Luke and Sierra, Stuart},
Booktitle = {Practical Clojure},
Date-Added = {2015-01-31 09:54:32 +0000},
Date-Modified = {2015-01-31 09:55:08 +0000},
Pages = {167--178},
Publisher = {Springer},
Title = {Macros and Metaprogramming},
Year = {2010}}
@book{m2mxtend,
Date-Added = {2014-10-18 10:59:04 +0000},
Date-Modified = {2014-10-18 11:01:03 +0000},
Keywords = {xtend, xtext, m2m, transform},
Title = {Model-To-Text Transformations (M2T) with Xtend},
Url = {https://learnit.itu.dk/pluginfile.php/66324/course/section/31320/27-30-model-transformations.pdf},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QJnBhcGVycy8yNy0zMC1tb2RlbC10cmFuc2Zvcm1hdGlvbnMucGRm0hcLGBlXTlMuZGF0YU8RAd4AAAAAAd4AAgAACk1hY2Jvb2tTU0QAAAAAAAAAAAAAAAAAAAAAAM+RPi1IKwAAABf+xR8yNy0zMC1tb2RlbC10cmFuc2Zvcm1hdGlvbnMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA6AA70GgTKAAAAAAAAAAAAAEAAwAACSAAAAAAAAAAAAAAAAAAAAAGcGFwZXJzABAACAAAz5EiDQAAABEACAAA0Gf3CAAAAAEAFAAX/sUAFQVVAAYmNwAGJjYAAmWyAAIAVE1hY2Jvb2tTU0Q6VXNlcnM6AHZpbmNlbnQ6AERvY3VtZW50czoAVGhlc2U6AHBhcGVyczoAMjctMzAtbW9kZWwtdHJhbnNmb3JtYXRpb25zLnBkZgAOAEAAHwAyADcALQAzADAALQBtAG8AZABlAGwALQB0AHIAYQBuAHMAZgBvAHIAbQBhAHQAaQBvAG4AcwAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgBEVXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzLzI3LTMwLW1vZGVsLXRyYW5zZm9ybWF0aW9ucy5wZGYAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgC3ALwAxAKmAqgCrQK4AsECzwLTAtoC4wLoAvUC+AMKAw0DEgAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAMU},
Bdsk-Url-1 = {https://learnit.itu.dk/pluginfile.php/66324/course/section/31320/27-30-model-transformations.pdf}}
@phdthesis{ferli2013,
Author = {Ferlin, Antoine},
Date-Added = {2014-08-21 10:40:40 +0000},
Date-Modified = {2014-08-21 10:40:40 +0000},
Note = {2013ESAE0024},
Title = {V{\'e}rification de propri{\'e}t{\'e}s temporelles sur des logiciels avioniques par analyse dynamique formelle},
Url = {http://www.theses.fr/2013ESAE0024/document},
Year = {2013},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QHnBhcGVycy8yMDEzX0Zlcmxpbl9BbnRvaW5lLnBkZtIXCxgZV05TLmRhdGFPEQG+AAAAAAG+AAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUXMjAxM19GZXJsaW5fQW50b2luZS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAJ6J7tAblEoAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAANAbeCoAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAExNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6ADIwMTNfRmVybGluX0FudG9pbmUucGRmAA4AMAAXADIAMAAxADMAXwBGAGUAcgBsAGkAbgBfAEEAbgB0AG8AaQBuAGUALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIAPFVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy8yMDEzX0Zlcmxpbl9BbnRvaW5lLnBkZgATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAK8AtAC8An4CgAKFApACmQKnAqsCsgK7AsACzQLQAuIC5QLqAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAuw=},
Bdsk-Url-1 = {http://www.theses.fr/2013ESAE0024/document}}
@article{zave2012practical,
Author = {Zave, Pamela},
Date-Added = {2014-08-16 21:20:50 +0000},
Date-Modified = {2014-08-16 21:21:26 +0000},
Keywords = {comparison, alloy, spin, model checking},
Title = {A practical comparison of Alloy and Spin},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QEnBhcGVycy9jb21wYXJlLnBkZtIXCxgZV05TLmRhdGFPEQGOAAAAAAGOAAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sULY29tcGFyZS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAJOPodAVl9YAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAANAVe7YAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAEBNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AGNvbXBhcmUucGRmAA4AGAALAGMAbwBtAHAAYQByAGUALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIAMFVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9jb21wYXJlLnBkZgATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAKMAqACwAkICRAJJAlQCXQJrAm8CdgJ/AoQCkQKUAqYCqQKuAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAArA=}}
@inproceedings{Zave:2012:GVN:2405178.2405179,
Acmid = {2405179},
Address = {New York, NY, USA},
Articleno = {1},
Author = {Zave, Pamela and Rexford, Jennifer},
Booktitle = {Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing},
Date-Added = {2014-08-16 21:12:39 +0000},
Date-Modified = {2014-08-16 21:13:04 +0000},
Doi = {10.1145/2405178.2405179},
Isbn = {978-1-4503-1607-1},
Keywords = {internet, mobility, overlay, geomorphic, osi, layer, network},
Location = {Montreal, Quebec, Canada},
Numpages = {6},
Pages = {1:1--1:6},
Publisher = {ACM},
Series = {MW4NG '12},
Title = {The Geomorphic View of Networking: A Network Model and Its Uses},
Url = {http://doi.acm.org/10.1145/2405178.2405179},
Year = {2012},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV5wYXBlcnMvZ2VvLnBkZtIXCxgZV05TLmRhdGFPEQF+AAAAAAF+AAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUHZ2VvLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAJN7OtAVlZcAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAANAVeXcAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACADxNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AGdlby5wZGYADgAQAAcAZwBlAG8ALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIALFVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9nZW8ucGRmABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4AnQCiAKoCLAIuAjMCPgJHAlUCWQJgAmkCbgJ7An4CkAKTApgAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAACmg==},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2405178.2405179},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/2405178.2405179}}
@article{Promela-AFP,
Author = {Ren{\'e} Neumann},
Date-Added = {2014-08-12 10:27:03 +0000},
Date-Modified = {2014-08-12 10:28:48 +0000},
Issn = {2150-914x},
Journal = {Archive of Formal Proofs},
Keywords = {promela, formalization, isabelle},
Month = may,
Note = {\url{http://afp.sf.net/entries/Promela.shtml}, Formal proof development},
Title = {Promela Formalization},
Year = 2014,
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QH3BhcGVycy9Qcm9tZWxhRm9ybWFsaXphdGlvbi5wZGbSFwsYGVdOUy5kYXRhTxEBxAAAAAABxAACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FGFByb21lbGFGb3JtYWxpemF0aW9uLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACLwwzQD7jDAAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADQD5yjAAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBNTWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgBQcm9tZWxhRm9ybWFsaXphdGlvbi5wZGYAAA4AMgAYAFAAcgBvAG0AZQBsAGEARgBvAHIAbQBhAGwAaQB6AGEAdABpAG8AbgAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgA9VXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL1Byb21lbGFGb3JtYWxpemF0aW9uLnBkZgAAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgCwALUAvQKFAocCjAKXAqACrgKyArkCwgLHAtQC1wLpAuwC8QAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAALz},
Bdsk-Url-1 = {http://afp.sourceforge.net/entries/Promela.shtml}}
@inproceedings{CUP2006,
Author = {Vilbergsd{\'o}ttir, Hvannberg, Law},
Booktitle = {NordiCHI 2006 Proceedings},
Date-Added = {2014-08-05 08:32:52 +0000},
Date-Modified = {2014-08-05 08:34:21 +0000},
Keywords = {slips, human error},
Title = {Classification of Usability Problems (CUP) Scheme: Augmentation and Exploitation},
Year = {2006},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YW8QXABwAGEAcABlAHIAcwAvAFYAaQBsAGIAZQByAGcAcwBkAG8DAQB0AHQAaQByACAAZQB0ACAAYQBsAC4AIAAtACAAMgAwADAANgAgAC0AIABDAGwAYQBzAHMAaQBmAGkAYwBhAHQAaQBvAG4AIABvAGYAIABVAHMAYQBiAGkAbABpAHQAeQAgAFAAcgBvAGIAbABlAG0AcwAgACgAQwBVAFAAKQAgAFMAYwBoAGUAbQBlAC4AcABkAGbSFwsYGVdOUy5kYXRhTxECggAAAAACggACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FH1ZpbGJlcmdzZJd0dGlyIGV0IGFsIzgzOEZFNS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACDj+XQBmJWAAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADQBkY2AAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBUTWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgBWaWxiZXJnc2SXdHRpciBldCBhbCM4MzhGRTUucGRmAA4ArABVAFYAaQBsAGIAZQByAGcAcwBkAG8DAQB0AHQAaQByACAAZQB0ACAAYQBsAC4AIAAtACAAMgAwADAANgAgAC0AIABDAGwAYQBzAHMAaQBmAGkAYwBhAHQAaQBvAG4AIABvAGYAIABVAHMAYQBiAGkAbABpAHQAeQAgAFAAcgBvAGIAbABlAG0AcwAgACgAQwBVAFAAKQAgAFMAYwBoAGUAbQBlAC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASAHtVc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvVmlsYmVyZ3Nkb8yBdHRpciBldCBhbC4gLSAyMDA2IC0gQ2xhc3NpZmljYXRpb24gb2YgVXNhYmlsaXR5IFByb2JsZW1zIChDVVApIFNjaGVtZS5wZGYAABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4BSQFOAVYD3APeA+MD7gP3BAUECQQQBBkEHgQrBC4EQARDBEgAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAESg==}}
@inproceedings{Lopes2011,
Author = {Lopes},
Date-Added = {2014-08-05 08:32:08 +0000},
Date-Modified = {2014-08-05 08:32:32 +0000},
Keywords = {TODO},
Title = {Application of human error theories for the process improvement of Requirements Engineering},
Year = {2011}}
@inproceedings{Gamrad2008,
Author = {Gamrad},
Date-Added = {2014-08-05 08:31:31 +0000},
Date-Modified = {2014-08-05 08:31:54 +0000},
Keywords = {TODO},
Title = {Formalization and automated detection of human errors},
Year = {2008}}
@inproceedings{cauchi2012,
Author = {Abigail Cauchi},
Booktitle = {EICS 2012 Proceedings},
Date-Added = {2014-08-05 06:45:09 +0000},
Date-Modified = {2014-08-05 06:46:24 +0000},
Keywords = {slips, human error},
Rating = {3},
Title = {Differential Formal Analysis: Evaluating safer 5-key number entry user interface designs},
Year = {2012},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QHHBhcGVycy9FSUNTNC9wMzE3LWNhdWNoaS5wZGbSFwsYGVdOUy5kYXRhTxEBsAAAAAABsAACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/+VD3AzMTctY2F1Y2hpLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAX/8DPZIJkAAAAAAAAAAAAAQAEAAAJIAAAAAAAAAAAAAAAAAAAAAVFSUNTNAAAEAAIAADPkSINAAAAEQAIAADPZGZEAAAAAQAYABf/lQAX/sUAFQVVAAYmNwAGJjYAAmWyAAIAS01hY2Jvb2tTU0Q6VXNlcnM6AHZpbmNlbnQ6AERvY3VtZW50czoAVGhlc2U6AHBhcGVyczoARUlDUzQ6AHAzMTctY2F1Y2hpLnBkZgAADgAgAA8AcAAzADEANwAtAGMAYQB1AGMAaABpAC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASADpVc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvRUlDUzQvcDMxNy1jYXVjaGkucGRmABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4ArQCyALoCbgJwAnUCgAKJApcCmwKiAqsCsAK9AsAC0gLVAtoAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAC3A==}}
@book{dix1991formal,
Author = {Dix, Alan John},
Date-Added = {2014-07-09 18:57:21 +0000},
Date-Modified = {2014-07-09 19:04:59 +0000},
Publisher = {Academic Press},
Title = {Formal methods for interactive systems},
Year = {1991},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QG3BhcGVycy9mb3JtYWxtZXRob2RzRGl4LnBkZtIXCxgZV05TLmRhdGFPEQG0AAAAAAG0AAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUUZm9ybWFsbWV0aG9kc0RpeC5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHCe38/jGZwAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM/i/XwAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAElNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AGZvcm1hbG1ldGhvZHNEaXgucGRmAAAOACoAFABmAG8AcgBtAGEAbABtAGUAdABoAG8AZABzAEQAaQB4AC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASADlVc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvZm9ybWFsbWV0aG9kc0RpeC5wZGYAABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4ArACxALkCcQJzAngCgwKMApoCngKlAq4CswLAAsMC1QLYAt0AAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAC3w==}}
@article{abowd22integrating,
Author = {Abowd, Gregory D and Dix, Alan J},
Date-Added = {2014-07-09 11:44:41 +0000},
Date-Modified = {2014-07-09 11:45:27 +0000},
Journal = {grammars},
Keywords = {flow, event, status, interaction theory},
Pages = {23},
Rating = {5},
Title = {Integrating status and event phenomena in formal specifications of interactive systems},
Volume = {22},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QF3BhcGVycy9kaXhzaWdzb2Z0OTQucGRm0hcLGBlXTlMuZGF0YU8RAaQAAAAAAaQAAgAACk1hY2Jvb2tTU0QAAAAAAAAAAAAAAAAAAAAAAM+RPi1IKwAAABf+xRBkaXhzaWdzb2Z0OTQucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAcGs0z+L3qQAAAAAAAAAAAAEAAwAACSAAAAAAAAAAAAAAAAAAAAAGcGFwZXJzABAACAAAz5EiDQAAABEACAAAz+LbiQAAAAEAFAAX/sUAFQVVAAYmNwAGJjYAAmWyAAIARU1hY2Jvb2tTU0Q6VXNlcnM6AHZpbmNlbnQ6AERvY3VtZW50czoAVGhlc2U6AHBhcGVyczoAZGl4c2lnc29mdDk0LnBkZgAADgAiABAAZABpAHgAcwBpAGcAcwBvAGYAdAA5ADQALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIANVVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9kaXhzaWdzb2Z0OTQucGRmAAATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAKgArQC1Al0CXwJkAm8CeAKGAooCkQKaAp8CrAKvAsECxALJAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAss=}}
@misc{sewell2003semantics,
Author = {Sewell, Peter},
Date-Added = {2014-07-09 11:39:50 +0000},
Date-Modified = {2014-07-09 12:15:52 +0000},
Keywords = {semantic, programming language, language},
Title = {Semantics of Programming Languages},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QFXBhcGVycy9ub3Rlcy1tb25vLnBkZtIXCxgZV05TLmRhdGFPEQGcAAAAAAGcAAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUObm90ZXMtbW9uby5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAHBqkM/i9n0AAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM/i2l0AAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAENNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AG5vdGVzLW1vbm8ucGRmAAAOAB4ADgBuAG8AdABlAHMALQBtAG8AbgBvAC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASADNVc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvbm90ZXMtbW9uby5wZGYAABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4ApgCrALMCUwJVAloCZQJuAnwCgAKHApAClQKiAqUCtwK6Ar8AAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAACwQ==}}
@inproceedings{Maeng:2012:IDN:2317956.2318022,
Acmid = {2318022},
Address = {New York, NY, USA},
Author = {Maeng, Seungwoo and Lim, Youn-kyung and Lee, KunPyo},
Booktitle = {Proceedings of the Designing Interactive Systems Conference},
Date-Added = {2014-07-09 11:34:33 +0000},
Date-Modified = {2014-07-09 11:34:33 +0000},
Doi = {10.1145/2317956.2318022},
Isbn = {978-1-4503-1210-3},
Keywords = {design approach, design thinking, interactive product design, movement of interaction, product development},
Location = {Newcastle Upon Tyne, United Kingdom},
Numpages = {10},
Pages = {448--457},
Publisher = {ACM},
Series = {DIS '12},
Title = {Interaction-driven Design: A New Approach for Interactive Product Development},
Url = {http://doi.acm.org/10.1145/2317956.2318022},
Year = {2012},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QJHBhcGVycy9pbnRlcmFjdGlvbiBkcml2ZW4gZGVzaWduLnBkZtIXCxgZV05TLmRhdGFPEQHWAAAAAAHWAAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUdaW50ZXJhY3Rpb24gZHJpdmVuIGRlc2lnbi5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABgANM9hwwwAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM9hpuwAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAFJNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AGludGVyYWN0aW9uIGRyaXZlbiBkZXNpZ24ucGRmAA4APAAdAGkAbgB0AGUAcgBhAGMAdABpAG8AbgAgAGQAcgBpAHYAZQBuACAAZABlAHMAaQBnAG4ALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIAQlVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9pbnRlcmFjdGlvbiBkcml2ZW4gZGVzaWduLnBkZgATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOALUAugDCApwCngKjAq4CtwLFAskC0ALZAt4C6wLuAwADAwMIAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAwo=},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2317956.2318022},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/2317956.2318022}}
@book{hoare1985communicating,
Author = {Hoare, Charles Antony Richard},
Date-Added = {2014-07-09 11:32:31 +0000},
Date-Modified = {2014-07-09 11:32:31 +0000},
Publisher = {Prentice-hall Englewood Cliffs},
Title = {Communicating sequential processes},
Volume = {178},
Year = {1985},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QEnBhcGVycy9jc3Bib29rLnBkZtIXCxgZV05TLmRhdGFPEQGOAAAAAAGOAAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sULY3NwYm9vay5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAFoY5s/DjFkAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM/DcDkAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAEBNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AGNzcGJvb2sucGRmAA4AGAALAGMAcwBwAGIAbwBvAGsALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIAMFVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9jc3Bib29rLnBkZgATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAKMAqACwAkICRAJJAlQCXQJrAm8CdgJ/AoQCkQKUAqYCqQKuAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAArA=}}
@inproceedings{pilaud1987lustre,
Author = {Pilaud, Daniel and Halbwachs, N and Plaice, JA},
Booktitle = {Proceedings of the 14th Annual ACM Symposium on Principles of Programming Languages (14th POPL 1987). ACM, New York, NY},
Date-Added = {2014-07-09 11:30:48 +0000},
Date-Modified = {2014-08-18 14:22:07 +0000},
Keywords = {lustre, semantics},
Pages = {188},
Title = {LUSTRE: A declarative language for programming synchronous systems},
Volume = {178},
Year = {1987},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QHnBhcGVycy9QLUFDTV9QT1BMODctbHVzdHJlLnBkZtIXCxgZV05TLmRhdGFPEQG+AAAAAAG+AAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUXUC1BQ01fUE9QTDg3LWx1c3RyZS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAG8mu8/hrVgAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM/hkTgAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAExNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AFAtQUNNX1BPUEw4Ny1sdXN0cmUucGRmAA4AMAAXAFAALQBBAEMATQBfAFAATwBQAEwAOAA3AC0AbAB1AHMAdAByAGUALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIAPFVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9QLUFDTV9QT1BMODctbHVzdHJlLnBkZgATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAK8AtAC8An4CgAKFApACmQKnAqsCsgK7AsACzQLQAuIC5QLqAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAuw=}}
@techreport{plotkin_81_structural,
Abstract = {Syntax of a very simple programming language called L. What is abstract about it will be discussed a little here and later at greater length. For us syntax is a collection of syntactic sets of phrases; each set corresponds to a different type of phrase. Some of these sets are very simple and can be taken as given: Truthvalues This is the set T = ftt; ffg and is ranged over by (the metavariable) t (and we also happily employ for this (and any other) metavariable sub- and super-scripts to...},
Added-At = {2009-02-12T11:21:23.000+0100},
Address = {University of Aarhus},
Author = {Plotkin, G. D.},
Biburl = {http://www.bibsonomy.org/bibtex/212718b2f176aaf6ce4c8d8510b355d2f/leonardo},
Citeulike-Article-Id = {1437},
Date-Added = {2014-07-09 11:28:01 +0000},
Date-Modified = {2014-07-09 11:28:01 +0000},
Description = {New Version: http://www.citeulike.org/user/leonardo/article/696122},
Interhash = {dc29e6898bdbd34bfae6cd829f8a7f86},
Intrahash = {12718b2f176aaf6ce4c8d8510b355d2f},
Keywords = {1981 sos},
Number = {DAIMI FN-19},
Posted-At = {2006-04-03 16:06:43},
Priority = {2},
Timestamp = {2009-02-12T11:21:23.000+0100},
Title = {A Structural Approach to Operational Semantics},
Url = {http://citeseer.ist.psu.edu/plotkin81structural.html},
Year = 1981,
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QE3BhcGVycy9zb3NfamxhcC5wZGbSFwsYGVdOUy5kYXRhTxEBlAAAAAABlAACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FDHNvc19qbGFwLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABvJi7P4a0/AAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADP4ZEfAAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBBTWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgBzb3NfamxhcC5wZGYAAA4AGgAMAHMAbwBzAF8AagBsAGEAcAAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgAxVXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL3Nvc19qbGFwLnBkZgAAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgCkAKkAsQJJAksCUAJbAmQCcgJ2An0ChgKLApgCmwKtArACtQAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAAK3},
Bdsk-Url-1 = {http://citeseer.ist.psu.edu/plotkin81structural.html}}
@book{FunctionalHarrison,
Author = {John Harrison},
Date-Added = {2014-06-04 14:30:30 +0000},
Date-Modified = {2014-06-04 14:33:11 +0000},
Keywords = {functional programming, proving},
Publisher = {Cambridge University},
Title = {Introduction to functional programming},
Volume = {5: proving programs correct},
Year = {1998},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QI3BhcGVycy9Kb2huSGFycmlzb25GdW5jdGlvbmFsbDUucGRm0hcLGBlXTlMuZGF0YU8RAdQAAAAAAdQAAgAACk1hY2Jvb2tTU0QAAAAAAAAAAAAAAAAAAAAAAM+RPi1IKwAAABf+xRxKb2huSGFycmlzb25GdW5jdGlvbmFsbDUucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQcyjz7T5+gAAAAAAAAAAAAEAAwAACSAAAAAAAAAAAAAAAAAAAAAGcGFwZXJzABAACAAAz5EiDQAAABEACAAAz7Td2gAAAAEAFAAX/sUAFQVVAAYmNwAGJjYAAmWyAAIAUU1hY2Jvb2tTU0Q6VXNlcnM6AHZpbmNlbnQ6AERvY3VtZW50czoAVGhlc2U6AHBhcGVyczoASm9obkhhcnJpc29uRnVuY3Rpb25hbGw1LnBkZgAADgA6ABwASgBvAGgAbgBIAGEAcgByAGkAcwBvAG4ARgB1AG4AYwB0AGkAbwBuAGEAbABsADUALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIAQVVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9Kb2huSGFycmlzb25GdW5jdGlvbmFsbDUucGRmAAATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOALQAuQDBApkCmwKgAqsCtALCAsYCzQLWAtsC6ALrAv0DAAMFAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAwc=}}
@webpage{pitofsuccess,
Date-Added = {2014-05-28 22:23:58 +0000},
Date-Modified = {2014-07-09 12:17:02 +0000},
Keywords = {pit of success, api, design},
Rating = {4},
Read = {1},
Title = {Falling into the pit of success},
Url = {http://blog.codinghorror.com/falling-into-the-pit-of-success/},
Bdsk-Url-1 = {http://blog.codinghorror.com/falling-into-the-pit-of-success/}}
@article{bozzano2014nuxmv,
Author = {Bozzano, Marco and Cavada, Roberto and Cimatti, Alessandro and Dorigatti, Michele and Griggio, Alberto and Mariotti, Alessandro and Micheli, Andrea and Mover, Sergio and Roveri, Marco and Tonetta, Stefano},
Date-Added = {2014-04-19 09:11:20 +0000},
Date-Modified = {2014-04-19 09:11:20 +0000},
Title = {nuXmv 1.0 User Manual},
Year = {2014},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QHHBhcGVycy9udXhtdi11c2VyLW1hbnVhbC5wZGbSFwsYGVdOUy5kYXRhTxEBtgAAAAABtgACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FFW51eG12LXVzZXItbWFudWFsLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAYADjPeAnkAAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADPd+3EAAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBKTWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgBudXhtdi11c2VyLW1hbnVhbC5wZGYADgAsABUAbgB1AHgAbQB2AC0AdQBzAGUAcgAtAG0AYQBuAHUAYQBsAC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASADpVc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvbnV4bXYtdXNlci1tYW51YWwucGRmABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4ArQCyALoCdAJ2AnsChgKPAp0CoQKoArECtgLDAsYC2ALbAuAAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAC4g==}}
@inproceedings{Kahn74,
Added-At = {2012-01-16T18:47:39.000+0100},
Author = {Kahn, Gilles},
Biburl = {http://www.bibsonomy.org/bibtex/2e0d9e407bef7483d9041c6eb04fe7c21/alessandropinto},
Booktitle = {IFIP Congress},
Date-Added = {2014-04-17 17:48:59 +0000},
Date-Modified = {2014-04-17 17:49:12 +0000},
Description = {dblp},
Interhash = {a7ac7ea4c3f31983707aa5a3d7dbe78e},
Intrahash = {e0d9e407bef7483d9041c6eb04fe7c21},
Keywords = {kahn networks process},
Pages = {471-475},
Rating = {4},
Timestamp = {2012-01-16T18:47:39.000+0100},
Title = {The Semantics of Simple Language for Parallel Programming.},
Url = {http://dblp.uni-trier.de/db/conf/ifip/ifip74.html#Kahn74},
Year = 1974,
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QGHBhcGVycy9rYWhuX25ldHdvcmtzLnBkZtIXCxgZV05TLmRhdGFPEQGmAAAAAAGmAAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sURa2Fobl9uZXR3b3Jrcy5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABgANc914OEAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM91xMEAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAEZNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AGthaG5fbmV0d29ya3MucGRmAA4AJAARAGsAYQBoAG4AXwBuAGUAdAB3AG8AcgBrAHMALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIANlVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9rYWhuX25ldHdvcmtzLnBkZgATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAKkArgC2AmACYgJnAnICewKJAo0ClAKdAqICrwKyAsQCxwLMAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAs4=},
Bdsk-Url-1 = {http://dblp.uni-trier.de/db/conf/ifip/ifip74.html#Kahn74}}
@inproceedings{Geilen03requirementson,
Author = {Marc Geilen and Twan Basten},
Booktitle = {Proc. of the 12th European Symposium on Programming, ESOP 2003},
Date-Added = {2014-04-17 17:47:46 +0000},
Date-Modified = {2014-04-17 17:47:46 +0000},
Pages = {319--334},
Publisher = {Springer Verlag},
Title = {Requirements on the Execution of Kahn Process Networks},
Year = {2003},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QMHBhcGVycy9rYWhucHJvY2Vzc3JlcXVpcmVtZW50czEwLjEuMS4xMi43MTQ4LnBkZtIXCxgZV05TLmRhdGFPEQH8AAAAAAH8AAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUfa2FobnByb2Nlc3NyZXF1aXJlbWUjMTgwMDM2LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABgANs914EgAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM91xCgAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAFRNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AGthaG5wcm9jZXNzcmVxdWlyZW1lIzE4MDAzNi5wZGYADgBUACkAawBhAGgAbgBwAHIAbwBjAGUAcwBzAHIAZQBxAHUAaQByAGUAbQBlAG4AdABzADEAMAAuADEALgAxAC4AMQAyAC4ANwAxADQAOAAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgBOVXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL2thaG5wcm9jZXNzcmVxdWlyZW1lbnRzMTAuMS4xLjEyLjcxNDgucGRmABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4AwQDGAM4CzgLQAtUC4ALpAvcC+wMCAwsDEAMdAyADMgM1AzoAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAADPA==}}
@inproceedings{5066854,
Author = {Vrba, Z. and Halvorsen, P. and Griwodz, C.},
Booktitle = {Complex, Intelligent and Software Intensive Systems, 2009. CISIS '09. International Conference on},
Date-Added = {2014-04-17 17:40:56 +0000},
Date-Modified = {2014-04-17 17:41:25 +0000},
Doi = {10.1109/CISIS.2009.43},
Keywords = {Unix;message passing;multi-threading;queueing theory;shared memory systems;software engineering;Kahn process network implementation techniques;Kahn process networks;POSIX mechanisms;heterogenuous computing;high-level abstractions;message queues;multi-core CPU;run-time environment;run-time performance;shared-memory multiprocessors;software development tools;thread abstractions;Competitive intelligence;Frequency synchronization;Intelligent networks;Libraries;Parallel processing;Runtime environment;Software performance;Software systems;Software tools;Yarn},
Month = {March},
Pages = {639-644},
Rating = {4},
Title = {Evaluating the Run-Time Performance of Kahn Process Network Implementation Techniques on Shared-Memory Multiprocessors},
Year = {2009},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QgXBhcGVycy9ldmFsdWF0aW5nLXRoZS1ydW4tdGltZS1wZXJmb3JtYW5jZS1vZi1rYWhuLXByb2Nlc3MtbmV0d29yay1pbXBsZW1lbnRhdGlvbi10ZWNobmlxdWVzLW9uLXNoYXJlZC1tZW1vcnktbXVsdGlwcm9jZXNzb3JzLnBkZtIXCxgZV05TLmRhdGFPEQLwAAAAAALwAAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUfZXZhbHVhdGluZy10aGUtcnVuLXQjMTgwMDMxLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABgAMc913hwAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM91wfwAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAFRNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AGV2YWx1YXRpbmctdGhlLXJ1bi10IzE4MDAzMS5wZGYADgD2AHoAZQB2AGEAbAB1AGEAdABpAG4AZwAtAHQAaABlAC0AcgB1AG4ALQB0AGkAbQBlAC0AcABlAHIAZgBvAHIAbQBhAG4AYwBlAC0AbwBmAC0AawBhAGgAbgAtAHAAcgBvAGMAZQBzAHMALQBuAGUAdAB3AG8AcgBrAC0AaQBtAHAAbABlAG0AZQBuAHQAYQB0AGkAbwBuAC0AdABlAGMAaABuAGkAcQB1AGUAcwAtAG8AbgAtAHMAaABhAHIAZQBkAC0AbQBlAG0AbwByAHkALQBtAHUAbAB0AGkAcAByAG8AYwBlAHMAcwBvAHIAcwAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgCfVXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL2V2YWx1YXRpbmctdGhlLXJ1bi10aW1lLXBlcmZvcm1hbmNlLW9mLWthaG4tcHJvY2Vzcy1uZXR3b3JrLWltcGxlbWVudGF0aW9uLXRlY2huaXF1ZXMtb24tc2hhcmVkLW1lbW9yeS1tdWx0aXByb2Nlc3NvcnMucGRmAAATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOARIBFwEfBBMEFQQaBCUELgQ8BEAERwRQBFUEYgRlBHcEegR/AAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABIE=},
Bdsk-Url-1 = {http://dx.doi.org/10.1109/CISIS.2009.43}}
@inproceedings{Branton:2013:TRI:2494603.2480312,
Acmid = {2480312},
Address = {New York, NY, USA},
Author = {Branton, Chris and Ullmer, Brygg and Wiggins, Andre and Rogge, Landon and Setty, Narendra and Beck, Stephen David and Reeser, Alex},
Booktitle = {Proceedings of the 5th ACM SIGCHI Symposium on Engineering Interactive Computing Systems},
Date-Added = {2014-04-14 11:46:24 +0000},
Date-Modified = {2014-04-14 11:46:24 +0000},
Doi = {10.1145/2480296.2480312},
Isbn = {978-1-4503-2138-9},
Keywords = {distributed user interfaces, multi-device user interfaces, multi-platform user interfaces, software architecture, tangible interfaces},
Location = {London, United Kingdom},
Numpages = {10},
Pages = {239--248},
Publisher = {ACM},
Series = {EICS '13},
Title = {Toward Rapid and Iterative Development of Tangible, Collaborative, Distributed User Interfaces},
Url = {http://doi.acm.org/10.1145/2480296.2480312},
Year = {2013},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QHXBhcGVycy9FSUNTNS9wMjM5LWJyYW50b24ucGRm0hcLGBlXTlMuZGF0YU8RAbQAAAAAAbQAAgAACk1hY2Jvb2tTU0QAAAAAAAAAAAAAAAAAAAAAAM+RPi1IKwAAABf/zhBwMjM5LWJyYW50b24ucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAF//rz2hynAAAAAAAAAAAAAEABAAACSAAAAAAAAAAAAAAAAAAAAAFRUlDUzUAABAACAAAz5EiDQAAABEACAAAz2hWfAAAAAEAGAAX/84AF/7FABUFVQAGJjcABiY2AAJlsgACAExNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AEVJQ1M1OgBwMjM5LWJyYW50b24ucGRmAA4AIgAQAHAAMgAzADkALQBiAHIAYQBuAHQAbwBuAC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASADtVc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvRUlDUzUvcDIzOS1icmFudG9uLnBkZgAAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgCuALMAuwJzAnUCegKFAo4CnAKgAqcCsAK1AsICxQLXAtoC3wAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAALh},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/2480296.2480312},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/2480296.2480312}}
@inproceedings{bestpracticecriticalsystems,
Date-Added = {2014-04-14 11:07:32 +0000},
Date-Modified = {2014-04-14 11:09:29 +0000},
Institution = {Prologism},
Keywords = {critical systems, good practices, best practices, thales, normalization},
Title = {Best Practices for the Design and Development of Critical Information Systems},
Url = {http://www.prologism.fr/uploads/pdf/CWA_CriticalInformationSystems_Prologism.pdf},
Year = {2008},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QM3BhcGVycy9DV0FfQ3JpdGljYWxJbmZvcm1hdGlvblN5c3RlbXNfUHJvbG9naXNtLnBkZtIXCxgZV05TLmRhdGFPEQIGAAAAAAIGAAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUfQ1dBX0NyaXRpY2FsSW5mb3JtYXQjMTdGRURGLnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABf+389xjg0AAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM9xce0AAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAFRNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AENXQV9Dcml0aWNhbEluZm9ybWF0IzE3RkVERi5wZGYADgBaACwAQwBXAEEAXwBDAHIAaQB0AGkAYwBhAGwASQBuAGYAbwByAG0AYQB0AGkAbwBuAFMAeQBzAHQAZQBtAHMAXwBQAHIAbwBsAG8AZwBpAHMAbQAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgBRVXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL0NXQV9Dcml0aWNhbEluZm9ybWF0aW9uU3lzdGVtc19Qcm9sb2dpc20ucGRmAAATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAMQAyQDRAtsC3QLiAu0C9gMEAwgDDwMYAx0DKgMtAz8DQgNHAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAA0k=},
Bdsk-Url-1 = {http://www.prologism.fr/uploads/pdf/CWA_CriticalInformationSystems_Prologism.pdf}}
@techreport{abstractuiw3,
Author = {Jean Vanderdonckt and Ricardo Tresoriero and Nesrine Mezhoudi and Vivian Motti and Fran{\c c}ois Beuvens and J{\'e}r{\'e}mie Melchior and Sebastien Feuerstack and Carmen Santoro and Paolo Bottoni and Ga{\"e}lle Calvary and Davide Spano and Jo{\"e}lle Coutaz},
Date-Added = {2014-04-14 10:45:15 +0000},
Date-Modified = {2014-04-14 10:55:50 +0000},
Institution = {W3C working group on MBUI},
Keywords = {abstract ui, abstract, mbui},
Month = {4},
Rating = {5},
Title = {MBUI - Abstract User Interfaces Models},
Url = {http://www.w3.org/TR/2014/NOTE-abstract-ui-20140408/},
Year = {2014},
Bdsk-Url-1 = {http://www.w3.org/TR/2014/NOTE-abstract-ui-20140408/}}
@article{Holzmann:1997:MCS:260897.260902,
Acmid = {260902},
Address = {Piscataway, NJ, USA},
Author = {Holzmann, Gerard J.},
Date-Added = {2014-04-13 19:53:04 +0000},
Date-Modified = {2014-04-13 19:54:05 +0000},
Doi = {10.1109/32.588521},
Issn = {0098-5589},
Issue_Date = {May 1997},
Journal = {IEEE Trans. Softw. Eng.},
Keywords = {Formal methods, program verification, design verification, model checking, distributed systems, concurrency, spin},
Month = may,
Number = {5},
Numpages = {17},
Pages = {279--295},
Publisher = {IEEE Press},
Rating = {4},
Title = {The Model Checker SPIN},
Url = {http://dx.doi.org/10.1109/32.588521},
Volume = {23},
Year = {1997},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QEXBhcGVycy9pZWVlOTcucGRm0hcLGBlXTlMuZGF0YU8RAYwAAAAAAYwAAgAACk1hY2Jvb2tTU0QAAAAAAAAAAAAAAAAAAAAAAM+RPi1IKwAAABf+xQppZWVlOTcucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGAAzz3C31wAAAAAAAAAAAAEAAwAACSAAAAAAAAAAAAAAAAAAAAAGcGFwZXJzABAACAAAz5EiDQAAABEACAAAz3CbtwAAAAEAFAAX/sUAFQVVAAYmNwAGJjYAAmWyAAIAP01hY2Jvb2tTU0Q6VXNlcnM6AHZpbmNlbnQ6AERvY3VtZW50czoAVGhlc2U6AHBhcGVyczoAaWVlZTk3LnBkZgAADgAWAAoAaQBlAGUAZQA5ADcALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIAL1VzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9pZWVlOTcucGRmAAATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOAKIApwCvAj8CQQJGAlECWgJoAmwCcwJ8AoECjgKRAqMCpgKrAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAq0=},
Bdsk-Url-1 = {http://dx.doi.org/10.1109/32.588521},
Bdsk-Url-2 = {http://spinroot.com/spin/Doc/ieee97.pdf}}
@article{1992:MRA:142394.142401,
Acmid = {142401},
Address = {New York, NY, USA},
Date-Added = {2014-04-11 12:45:28 +0000},
Date-Modified = {2014-04-11 12:47:42 +0000},
Doi = {10.1145/142394.142401},
Issn = {0736-6906},
Issue_Date = {Jan. 1992},
Journal = {SIGCHI Bull.},
Key = {{$\!\!$}},
Keywords = {arch model},
Month = jan,
Number = {1},
Numpages = {6},
Pages = {32--37},
Publisher = {ACM},
Title = {A Metamodel for the Runtime Architecture of an Interactive System: The UIMS Tool Developers Workshop},
Url = {http://doi.acm.org/10.1145/142394.142401},
Volume = {24},
Year = {1992},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QFXBhcGVycy9wMzItaGVmbGV5LnBkZtIXCxgZV05TLmRhdGFPEQGcAAAAAAGcAAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUOcDMyLWhlZmxleS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABgAOc9tuZQAAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAAM9tnXQAAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAENNYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AHAzMi1oZWZsZXkucGRmAAAOAB4ADgBwADMAMgAtAGgAZQBmAGwAZQB5AC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASADNVc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvcDMyLWhlZmxleS5wZGYAABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4ApgCrALMCUwJVAloCZQJuAnwCgAKHApAClQKiAqUCtwK6Ar8AAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAACwQ==},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/142394.142401},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/142394.142401}}
@inproceedings{combefis2012,
Author = {S. Comb{\'e}fis and Charles Pecheur},
Booktitle = {Formal H},
Date-Added = {2014-04-11 12:32:23 +0000},
Date-Modified = {2014-04-11 12:35:10 +0000},
Pages = {9-11},
Rating = {4},
Read = {1},
Title = {Automatic Generation of Full-Control System Abstraction for Human-Machine Interaction},
Year = {2012},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QI3BhcGVycy9Gb3JtYWxILjIwMTIuUHJvY2VlZGluZ3MucGRm0hcLGBlXTlMuZGF0YU8RAdQAAAAAAdQAAgAACk1hY2Jvb2tTU0QAAAAAAAAAAAAAAAAAAAAAAM+RPi1IKwAAABf+xRxGb3JtYWxILjIwMTIuUHJvY2VlZGluZ3MucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGAADz22tYQAAAAAAAAAAAAEAAwAACSAAAAAAAAAAAAAAAAAAAAAGcGFwZXJzABAACAAAz5EiDQAAABEACAAAz22RQQAAAAEAFAAX/sUAFQVVAAYmNwAGJjYAAmWyAAIAUU1hY2Jvb2tTU0Q6VXNlcnM6AHZpbmNlbnQ6AERvY3VtZW50czoAVGhlc2U6AHBhcGVyczoARm9ybWFsSC4yMDEyLlByb2NlZWRpbmdzLnBkZgAADgA6ABwARgBvAHIAbQBhAGwASAAuADIAMAAxADIALgBQAHIAbwBjAGUAZQBkAGkAbgBnAHMALgBwAGQAZgAPABYACgBNAGEAYwBiAG8AbwBrAFMAUwBEABIAQVVzZXJzL3ZpbmNlbnQvRG9jdW1lbnRzL1RoZXNlL3BhcGVycy9Gb3JtYWxILjIwMTIuUHJvY2VlZGluZ3MucGRmAAATAAEvAAAVAAIADv//AACABtIbHB0eWiRjbGFzc25hbWVYJGNsYXNzZXNdTlNNdXRhYmxlRGF0YaMdHyBWTlNEYXRhWE5TT2JqZWN00hscIiNcTlNEaWN0aW9uYXJ5oiIgXxAPTlNLZXllZEFyY2hpdmVy0SYnVHJvb3SAAQAIABEAGgAjAC0AMgA3AEAARgBNAFUAYABnAGoAbABuAHEAcwB1AHcAhACOALQAuQDBApkCmwKgAqsCtALCAsYCzQLWAtsC6ALrAv0DAAMFAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAAAwc=},
Bdsk-Url-1 = {http://www.fmhfe.com/FormalH/}}
@inproceedings{chatty2007,
Author = {S. Chatty},
Booktitle = {Proceedings of the IFIP conference on Engineering Interactive Systems (EIS 2007)},
Date-Added = {2014-04-10 13:44:09 +0000},
Date-Modified = {2014-08-05 06:48:31 +0000},
Editor = {Springer Verlag},
Keywords = {interaction theory},
Title = {Programs = data + algorithms + architecture, and consequences for interactive software},
Url = {http://lii-enac.fr/articles/chatty-eis-2007.pdf},
Volume = {Lecture Notes in Computer Science volume 4940},
Year = {2007},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QGnBhcGVycy9jaGF0dHktZWlzLTIwMDcucGRm0hcLGBlXTlMuZGF0YU8RAa4AAAAAAa4AAgAACk1hY2Jvb2tTU0QAAAAAAAAAAAAAAAAAAAAAAM+RPi1IKwAAABf+xRNjaGF0dHktZWlzLTIwMDcucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAGAAtz2xsrQAAAAAAAAAAAAEAAwAACSAAAAAAAAAAAAAAAAAAAAAGcGFwZXJzABAACAAAz5EiDQAAABEACAAAz2xQjQAAAAEAFAAX/sUAFQVVAAYmNwAGJjYAAmWyAAIASE1hY2Jvb2tTU0Q6VXNlcnM6AHZpbmNlbnQ6AERvY3VtZW50czoAVGhlc2U6AHBhcGVyczoAY2hhdHR5LWVpcy0yMDA3LnBkZgAOACgAEwBjAGgAYQB0AHQAeQAtAGUAaQBzAC0AMgAwADAANwAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgA4VXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL2NoYXR0eS1laXMtMjAwNy5wZGYAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgCrALAAuAJqAmwCcQJ8AoUCkwKXAp4CpwKsArkCvALOAtEC1gAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAALY},
Bdsk-Url-1 = {http://lii-enac.fr/articles/chatty-eis-2007.pdf}}
@article{Duke-Harrison93a,
Abstract = {The concept of an `interactor' has been introduced by Faconti and Paterno' [6] as an abstraction of an entity in interactive graphics capable of both input and output. However the notion of interaction object need not be confined to graphics systems; it represents a useful structure for thinking and reasoning about the behaviour of interactive systems in general. As part of Esprit Basic Research Action 7040 (Amodeus-2) we are using the concept of interactor, and existing work on state-based processes and agents, to develop a model and theory of interactive systems. In this paper we describe two formal models for interaction objects and sketch how they can be used to build a small vocabulary of operators to support the rigorous specification of a graphics system. Our model differs from the approach of Faconti and Paterno' in that it abstracts away from any specific graphics framework and is thus suited to the level of abstraction demanded by formal approaches to system development.},
Author = {Duke, D.J. and Harrison, M.D.},
Date-Added = {2014-04-10 13:17:41 +0000},
Date-Modified = {2014-04-14 19:54:10 +0000},
Doi = {10.1111/1467-8659.1230025},
Issn = {1467-8659},
Journal = {Computer Graphics Forum},
Keywords = {Formal Specification and Verification, Human Factors},
Number = {3},
Pages = {25--36},
Publisher = {Blackwell Science Ltd},
Title = {Abstract Interaction Objects},
Url = {http://dx.doi.org/10.1111/1467-8659.1230025},
Volume = {12},
Year = {1993},
Bdsk-Url-1 = {http://dx.doi.org/10.1111/1467-8659.1230025}}
@article{Paterno:2009:MUD:1614390.1614394,
Acmid = {1614394},
Address = {New York, NY, USA},
Articleno = {19},
Author = {Paterno, Fabio and Santoro, Carmen and Spano, Lucio Davide},
Date-Added = {2014-04-10 13:13:36 +0000},
Date-Modified = {2014-04-10 13:13:36 +0000},
Doi = {10.1145/1614390.1614394},
Issn = {1073-0516},
Issue_Date = {November 2009},
Journal = {ACM Trans. Comput.-Hum. Interact.},
Keywords = {Model-based design, Web services, multidevice user interfaces, ubiquitous applications, user interface description language},
Month = nov,
Number = {4},
Numpages = {30},
Pages = {19:1--19:30},
Publisher = {ACM},
Title = {MARIA: A Universal, Declarative, Multiple Abstraction-level Language for Service-oriented Applications in Ubiquitous Environments},
Url = {http://doi.acm.org/10.1145/1614390.1614394},
Volume = {16},
Year = {2009},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QHHBhcGVycy9NYXJpYS0yMDA5LUEwLTA1NS5wZGbSFwsYGVdOUy5kYXRhTxEBtgAAAAABtgACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FFU1hcmlhLTIwMDktQTAtMDU1LnBkZgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAYAAzPbCzjAAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADPbBDDAAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBKTWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgBNYXJpYS0yMDA5LUEwLTA1NS5wZGYADgAsABUATQBhAHIAaQBhAC0AMgAwADAAOQAtAEEAMAAtADAANQA1AC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASADpVc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvTWFyaWEtMjAwOS1BMC0wNTUucGRmABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4ArQCyALoCdAJ2AnsChgKPAp0CoQKoArECtgLDAsYC2ALbAuAAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAC4g==},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1614390.1614394},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/1614390.1614394}}
@article{Calvary03aunifying,
Author = {Ga{\"e}lle Calvary and Jo{\"e}lle Coutaz and David Thevenin and Quentin Limbourg and Laurent Bouillon and Jean Vanderdonckt},
Date-Added = {2014-04-10 12:14:00 +0000},
Date-Modified = {2014-04-10 12:19:14 +0000},
Journal = {INTERACTING WITH COMPUTERS},
Pages = {289--308},
Rating = {5},
Title = {A unifying reference framework for multi-target user interfaces},
Volume = {15},
Year = {2003},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QGnBhcGVycy9DYWx2YXJ5LUl3QzIwMDMucGRm0hcLGBlXTlMuZGF0YU8RAa4AAAAAAa4AAgAACk1hY2Jvb2tTU0QAAAAAAAAAAAAAAAAAAAAAAM+RPi1IKwAAABf+xRNDYWx2YXJ5LUl3QzIwMDMucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAF/7gz2xXkQAAAAAAAAAAAAEAAwAACSAAAAAAAAAAAAAAAAAAAAAGcGFwZXJzABAACAAAz5EiDQAAABEACAAAz2w7cQAAAAEAFAAX/sUAFQVVAAYmNwAGJjYAAmWyAAIASE1hY2Jvb2tTU0Q6VXNlcnM6AHZpbmNlbnQ6AERvY3VtZW50czoAVGhlc2U6AHBhcGVyczoAQ2FsdmFyeS1Jd0MyMDAzLnBkZgAOACgAEwBDAGEAbAB2AGEAcgB5AC0ASQB3AEMAMgAwADAAMwAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgA4VXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL0NhbHZhcnktSXdDMjAwMy5wZGYAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgCrALAAuAJqAmwCcQJ8AoUCkwKXAp4CpwKsArkCvALOAtEC1gAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAALY},
Bdsk-Url-1 = {http://iihm.imag.fr/publs/2003/Calvary-IwC2003.pdf}}
@article{dslbestpractices11,
Author = {Markus V{\"o}lter},
Date-Added = {2014-03-20 14:04:07 +0000},
Date-Modified = {2014-03-20 14:13:02 +0000},
Month = {March},
Title = {DSL Best Practices},
Url = {http://www.voelter.de/data/pub/DSLBestPractices-2011Update.pdf},
Year = {2011},
Bdsk-Url-1 = {http://www.voelter.de/data/pub/DSLBestPractices-2011Update.pdf}}
@article{declarativedslui,
Author = {Achim Demelt},
Date-Added = {2014-03-20 14:03:51 +0000},
Date-Modified = {2014-03-20 14:12:05 +0000},
Month = {September},
Title = {Mission: Impossible--Purely Declarative User Interface Modeling},
Url = {http://www.infoq.com/presentations/S4-Declarative-DSL-UI},
Year = {2012},
Bdsk-Url-1 = {http://www.infoq.com/presentations/S4-Declarative-DSL-UI}}
@webpage{openxava,
Date-Added = {2014-03-20 14:02:14 +0000},
Date-Modified = {2014-03-20 14:15:40 +0000},
Keywords = {automatic code generation ui web entreprise java domain model},
Title = {OpenXava AJAX Java Framework for Rapid Development of Enterprise Web Applications},
Url = {http://www.openxava.org},
Bdsk-Url-1 = {http://www.openxava.org}}
@book{Cycle_V_84,
Author = {Mc Dermid, John and Ripken, Knut},
Publisher = {University Press},
Title = {Life cycle support in the ADA environment},
Year = {1984}}
@article{Boehm88,
Author = {Boehm, Barry W.},
Journal = {IEEE Computer},
Number = {5},
Pages = {61-72},
Title = {A {S}piral {M}odel of {S}oftware {D}evelopment and {E}nhancement},
Volume = {21},
Year = {1988}}
@book{star_model,
Address = {New York, NJ},
Author = {Hix, Deborah and Hartson, Rex},
Publisher = {John Wiley},
Title = {Developping User Interfaces : Ensuring Usability Through Product and Process},
Year = {1993}}
@inproceedings{rauterberg92,
Author = {Rauterberg, Matthias},
Booktitle = {Proceedings of the Fourth International Conference on Software Engineering and Knowledge Engineering},
Editor = {IEEE},
Month = {June},
Title = {An Iterative-Cyclic Software Process Model},
Year = {1992}}
@article{curtis94,
Author = {Curtis, Bill and Hefley, Bill},
Journal = {Interactions},
Month = {January},
Pages = {23-34},
Title = {A {WIMP} {N}o {M}ore: {T}he {M}aturing of {U}ser {I}nterface {E}ngineering},
Year = {1994}}
@book{collins95,
Author = {Collins, Dave},
Month = {January},
Publisher = {Addison-Wesley Object Technology Series},
Title = {Designing Object-Oriented User Interfaces},
Year = {1995}}
@article{Goransson03,
Author = {G{\"o}ransson, B. and Gulliksen, J. and Boivie, I.},
Journal = {Software Process: Improvement and Practice (SPIP)},
Number = {2},
Title = {The Usability Design Process -- Integrating User-Centered Systems Design in the Software Development Process},
Volume = {8},
Year = {2003}}
@misc{ARINC,
Howpublished = {http://www.aviation-ia.com/aeec/projects/cds/index.html},
Note = {Airlines Electronic Engineering Committee},
Title = {A{RINC} 661, {C}ockpit {D}isplay {S}ystem {I}nterfaces to {U}ser {S}ystems}}
@misc{DO330,
Note = {RTCA,Inc},
Title = {D{O}330. {S}oftware {T}ool {Q}ualification {C}onsiderations},
Year = {2012}}
@misc{DO178C,
Note = {RTCA,Inc},
Title = {D{O}178{C}. {S}oftware {C}onsideration in {A}irborn {S}ystems and {E}quipment {C}ertification, release C},
Year = {2012}}
@misc{ESAPSS05,
Annote = {Revision 1},
Author = {ESA PSS-05-0},
Howpublished = {Published by ESA Publications Division. ESTEC, Noordwijk, The Netherlands.},
Note = {Issue 2, Revision 1},
Title = {Software {E}ngineering {S}tandards},
Year = {1994}}
@misc{GKS,
Annote = {Geneva, Switzerland},
Author = {ISO},
Note = {International Organization for Standardization},
Title = {The {G}raphical {K}ernel {S}ystem ({GKS})},
Year = {1985}}
@misc{LOTOS,
Annote = {ISO DP 8807},
Author = {ISO},
Note = {Technical Report ISO DP 8807},
Title = {LOTOS - language of temporal ordering specification},
Year = {1987}}
@article{Harel97,
Author = {Harel, D.},
Journal = {Science of Computer Programming},
Number = {3},
Pages = {231-274},
Title = {Statecharts: {A} visual formalism for complex systems},
Volume = {8},
Year = {1987}}
@inproceedings{Petri62,
Address = {M{\"u}nchen, Germany},
Author = {Petri, C. A.},
Booktitle = {Proceedings of IFIP Congress},
Pages = {386-390},
Title = {Fundamentals of a theory of asynchronous information flow},
Year = {1962}}
@article{Mealy55,
Author = {Mealy, G. H.},
Journal = {Bell System Technical Journal},
Number = {5},
Pages = {1045-1079},
Title = {A method for synthesizing sequential circuits},
Volume = {34},
Year = {1955}}
@article{Moore56,
Annote = {Princeton, NJ},
Author = {Moore, E. F.},
Journal = {Annals of Mathematical Studies},
Key = {Automata Studies},
Note = {Princeton University Press},
Pages = {129-153},
Title = {Gedanken-experiments on Sequential Machines},
Volume = {34},
Year = {1956}}
@article{jacob-cacm-1983,
Author = {R. J. K. Jacob},
Journal = {Communications of the ACM},
Pages = {259-264},
Title = {Using Formal Specifications in the Design of a Human-Computer Interface},
Volume = 26,
Year = 1983}
@article{hartson-survey,
Author = {H. Rex Hartson and Deborah Hix},
Journal = {ACM Computing Surveys},
Pages = {5-92},
Title = {Human-Computer Interface Development: Concepts and Systems for its Management},
Volume = 21,
Year = 1989}
@article{myers-ieeecomputer-90,
Author = {Brad A. Myers and others},
Index = {uims, toolkit},
Journal = {IEEE Computer},
Keyword = {garnet},
Month = nov,
Pages = {71-85},
Title = {{Garnet}, Comprehensive Support for Graphical, Highly Interactive User Interfaces},
Year = 1990}
@article{myers-acmtois-90,
Author = {Brad A. Myers},
Journal = acmtois,
Month = jul,
Pages = {289-320},
Title = {A new model for handling input},
Year = 1990}
@inproceedings{myers-uist-91,
Author = {Brad Myers},
Booktitle = uist,
Pages = {211-220},
Publisher = {Addison-Wesley},
Title = {Separating application code from toolkits: Eliminating the spaghetti of callbacks},
Year = 1991}
@inproceedings{chatty-uist-94,
Author = {{St\'ephane} Chatty},
Booktitle = uist,
Month = nov,
Pages = {195-204},
Publisher = {Addison-Wesley},
Title = {Extending a Graphical Toolkit for Two-Handed Interaction},
Year = 1994}
@inproceedings{lecolinet-uist-03,
Author = {Eric Lecolinet},
Booktitle = uist,
Pages = {135-144},
Title = {A molecular architecture for creating advanced {GUIs}},
Year = 2003}
@article{appert-softwarepractice-2008,
Author = {Caroline Appert and Michel Beaudouin-Lafon},
Doi = {10.1002/spe.867},
Journal = {Software: Practice and Experience},
Number = {11},
Pages = {1149-1182},
Publisher = {Wiley},
Title = {SwingStates: Adding state machines to {Java} and the {Swing} toolkit},
Volume = {38},
Year = {2008},
Bdsk-Url-1 = {http://dx.doi.org/10.1002/spe.867}}
@inproceedings{dragicevic-icmi-2004,
Author = {Pierre Dragicevic and Jean-Daniel Fekete},
Booktitle = {Proceedings of the Sixth International Conference on Multimodal Interfaces (ICMI'04)},
Pages = {212-219},
Publisher = {ACM Press},
Title = {Support for Input Adaptability in the ICon Toolkit},
Year = 2004}
@inproceedings{elliott-icfp-1997,
Author = {Conal Elliott and Paul Hudak},
Booktitle = {International Conference on Functional Programming},
Pages = {263-273},
Title = {Functional Reactive Animation},
Url = {http://conal.net/papers/icfp97/},
Year = 1997,
Bdsk-Url-1 = {http://conal.net/papers/icfp97/}}
@inproceedings{chatty-uist-2004,
Author = {{St\'ephane} Chatty and {St\'ephane} Sire and {Jean-Luc} Vinot and Patrick Lecoanet and Christophe Mertz and Alexandre Lemort},
Booktitle = uist,
Month = oct,
Pages = {267-276},
Publisher = {Addison-Wesley},
Title = {Revisiting Visual Interface Programming: Creating {GUI} Tools for Designers and Programmers},
Year = 2004}
@inproceedings{chatty-sc-2008,
Author = {{St\'ephane} Chatty},
Booktitle = {Proceedings of the 7th international symposium on software composition},
Editors = {Cesare Pautasso and Eric Tanter},
Number = 4954,
Pages = {173-189},
Publisher = {Springer Verlag},
Series = {Lecture Notes in Computer Science},
Title = {Supporting Multidisciplinary Software Composition for Interactive Applications},
Year = 2008,
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QMXBhcGVycy9zb2Z0d2FyZWNvbXBvc2l0aW9uM0E5NzgtMy01NDAtNzg3ODktMS5wZGbSFwsYGVdOUy5kYXRhTxECAAAAAAACAAACAAAKTWFjYm9va1NTRAAAAAAAAAAAAAAAAAAAAAAAz5E+LUgrAAAAF/7FH3NvZnR3YXJlY29tcG9zaXRpb24zIzE4MDAzQi5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAYADvPcZ2OAAAAAAAAAAAAAQADAAAJIAAAAAAAAAAAAAAAAAAAAAZwYXBlcnMAEAAIAADPkSINAAAAEQAIAADPcYFuAAAAAQAUABf+xQAVBVUABiY3AAYmNgACZbIAAgBUTWFjYm9va1NTRDpVc2VyczoAdmluY2VudDoARG9jdW1lbnRzOgBUaGVzZToAcGFwZXJzOgBzb2Z0d2FyZWNvbXBvc2l0aW9uMyMxODAwM0IucGRmAA4AVgAqAHMAbwBmAHQAdwBhAHIAZQBjAG8AbQBwAG8AcwBpAHQAaQBvAG4AMwBBADkANwA4AC0AMwAtADUANAAwAC0ANwA4ADcAOAA5AC0AMQAuAHAAZABmAA8AFgAKAE0AYQBjAGIAbwBvAGsAUwBTAEQAEgBPVXNlcnMvdmluY2VudC9Eb2N1bWVudHMvVGhlc2UvcGFwZXJzL3NvZnR3YXJlY29tcG9zaXRpb24zQTk3OC0zLTU0MC03ODc4OS0xLnBkZgAAEwABLwAAFQACAA7//wAAgAbSGxwdHlokY2xhc3NuYW1lWCRjbGFzc2VzXU5TTXV0YWJsZURhdGGjHR8gVk5TRGF0YVhOU09iamVjdNIbHCIjXE5TRGljdGlvbmFyeaIiIF8QD05TS2V5ZWRBcmNoaXZlctEmJ1Ryb290gAEACAARABoAIwAtADIANwBAAEYATQBVAGAAZwBqAGwAbgBxAHMAdQB3AIQAjgDCAMcAzwLTAtUC2gLlAu4C/AMAAwcDEAMVAyIDJQM3AzoDPwAAAAAAAAIBAAAAAAAAACgAAAAAAAAAAAAAAAAAAANB}}
@inproceedings{Tyson90,
Author = {Tyson, R. H. and Scott E. H. and Gary L. N.},
Booktitle = {Proceedings of the 3rd annual ACM SIGGRAPH symposium on User Interface Software and Technology},
Pages = {112-122},
Publisher = {ACM Press},
Title = {Integrating gesture and snapping into a user interface toolkit},
Year = {1990}}
@inproceedings{Blanch02,
Author = {Blanch, Renaud},
Booktitle = {Actes de la 14{\`e}me conf{\'e}rence francophone sur l'Interaction Homme-Machine ({IHM} 2002)},
Doi = {http://doi.acm.org/10.1145/777005.777023},
Pages = {129-136},
Pdf = {http://iihm.imag.fr/publs/2002/blanch-ihm02-hsm.pdf},
Title = {Programmer l'interaction avec des machines {\`a} {\'e}tats hi{\'e}rarchiques},
Uri = {http://iihm.imag.fr/publication/B02a/},
Url = {http://iihm.imag.fr/blanch/publications/ihm2002/},
Year = {2002},
Bdsk-Url-1 = {http://iihm.imag.fr/blanch/publications/ihm2002/},
Bdsk-Url-2 = {http://doi.acm.org/10.1145/777005.777023}}
@inproceedings{Blanch06,
Author = {Blanch, Renaud and Beaudouin-Lafon, Michel},
Booktitle = {Proceedings of the working conference on Advanced Visual Interfaces ({AVI} 2006)},
Doi = {http://doi.acm.org/10.1145/1133265.1133275},
Pages = {51-58},
Pdf = {http://iihm.imag.fr/publs/2006/blanch-avi2006-hsmtk.pdf},
Title = {Programming Rich Interactions using the Hierarchical State Machine Toolkit},
Type_Publi = {icolcomlec},
Uri = {http://iihm.imag.fr/publication/BB06a/},
X-Editorial-Board = {yes},
X-International-Audience = {yes},
X-Invited-Conference = {no},
X-Proceedings = {yes},
X-Scientific-Popularization = {no},
Year = {2006},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/1133265.1133275}}
@article{Jacob99,
Author = {Robert J. K. Jacob and Leonidas Deligiannidis and Stephen Morrison},
Journal = {ACM Transactions on Computer-Human Interaction},
Pages = {1--46},
Title = {A Software Model and Specification Language for Non-WIMP User Interfaces},
Volume = {6},
Year = {1999}}
@book{Jensen95,
Address = {London, UK, UK},
Author = {Jensen, Kurt},
Isbn = {3-540-58276-2},
Publisher = {Springer-Verlag},
Title = {Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2},
Year = {1995}}
@inproceedings{Accot97,
Author = {Accot, Johnny and Chatty, St{\'e}phane and Maury, S{\'e}bastien and Palanque, Philippe A.},
Biburl = {http://www.bibsonomy.org/bibtex/2df0b32c6f085070d9d5214e4b4e9ca60/dblp},
Booktitle = {DSV-IS},
Date = {2006-11-02},
Description = {dblp},
Editor = {Harrison, Michael D. and Torres, Juan Carlos},
Isbn = {3-211-83055-3},
Keywords = {dblp},
Pages = {143-159},
Publisher = {Springer},
Timestamp = {2006-11-02T00:00:00.000+0100},
Title = {Formal transducers: Models of devices and building bricks for the design of highly interactive systems.},
Url = {http://dblp.uni-trier.de/db/conf/dsvis/dsvis1997.html#AccotCMP97},
Year = 1997,
Bdsk-Url-1 = {http://dblp.uni-trier.de/db/conf/dsvis/dsvis1997.html#AccotCMP97}}
@inproceedings{palanque93,
Author = {Palanque, Philipe and Bastide, R{\'e}mi},
Booktitle = {Proceedings of the IEEE Conference on System Man and Cybernetics},
Month = {October},
Publisher = {Elsevier Science Publisher},
Title = {Interactive Cooperative Objects : an Object-Oriented Formalism Based on Petri Nets for User Interface Design},
Year = {1993}}
@article{palanque97,
Author = {Palanque, Philipe and Bastide, R{\'e}mi},
Journal = {Interacting with Computers},
Number = {2},
Pages = {129-153},
Title = {Synergistic modelling of tasks, users and systems using formal specification techniques},
Volume = {9},
Year = {1997}}
@inproceedings{Bastide02,
Acmid = {506457},
Address = {New York, NY, USA},
Author = {Bastide, R{\'e}mi and Navarre, David and Palanque, Philippe},
Booktitle = {CHI '02 Extended Abstracts on Human Factors in Computing Systems},
Doi = {10.1145/506443.506457},
Isbn = {1-58113-454-1},
Keywords = {formal description techniques, model-based approaches, safety critical systems},
Location = {Minneapolis, Minnesota, USA},
Numpages = {2},
Pages = {516--517},
Publisher = {ACM},
Series = {CHI EA '02},
Title = {A model-based tool for interactive prototyping of highly interactive applications},
Url = {http://doi.acm.org/10.1145/506443.506457},
Year = {2002},
Bdsk-Url-1 = {http://doi.acm.org/10.1145/506443.506457},
Bdsk-Url-2 = {http://dx.doi.org/10.1145/506443.506457}}
@inproceedings{Schyn03,
Abstract = {M{\^e}me si la plupart des travaux dans le domaine de l¿Interaction Homme-Machine semblent mettre l¿accent sur l¿utilisation de techniques d¿interaction avanc{\'e}es comme la multimodalit{\'e} ou la r{\'e}alit{\'e} virtuelle, les syst{\`e}mes critiques montrent, quant {\`a} eux, que l¿utilisabilit{\'e} de telles techniques n¿est qu¿un des grands probl{\`e}mes auxquels doit faire face le concepteur de tels syst{\`e}mes, au c{\^o}t{\'e} des probl{\`e}mes de fiabilit{\'e} et d¿efficacit{\'e}. Cet article pr{\'e}sente, {\`a} travers l¿{\'e}tude d¿un exemple issu du domaine de la r{\'e}alit{\'e} virtuelle, l¿extension de travaux pr{\'e}c{\'e}dents dans le domaine des techniques de description formelle pour les syst{\`e}mes interactifs, en ajoutant au formalisme des ICO des {\'e}l{\'e}ments permettant de mod{\'e}liser des applications multimodales.},
Author = {Schyn, Am{\'e}lie and Navarre, David and Palanque, Philippe and Porcher Nedel, Luciana},
Booktitle = {{IHM'2003: 15th French Speaking conference on human-computer interaction, Caen, France, 24/11/2003-28/11/2003}},
Keywords = {Sp{\'e}cification formelle, interfaces multimodales, techniques d¿interaction.},
Month = {novembre},
Pages = {150--157},
Publisher = {ACM Press},
Title = {{Description Formelle d'une Technique d'Interaction Multimodale dans une Application de R{\'e}alit{\'e} Virtuelle Immersive }},
Url = {http://liihs.irit.fr/schyn/},
Year = {2003},
Bdsk-Url-1 = {http://liihs.irit.fr/schyn/}}
@inproceedings{Dix85,
Author = {Dix, A. and Runciman, C.},
Booktitle = {Proceedings of the HCI'85 Conference on People and Computers: Designing the Interface},
Pages = {13-22},
Title = {Abstract models of interactive systems},
Year = {1985}}
@inproceedings{Paterno92,
Author = {Patern{\`o}, F. and Faconti, G.},
Booktitle = {Proceedings of the HCI'92 Conference on People and Computers},
Pages = {155-173},
Title = {On the use of {LOTOS} to describe graphical interaction},
Year = {1992}}
@inproceedings{nousdsvis96,
Address = {Namur, Belgium},
Author = {Ausbourg (d'), B. and Durrieu, G. and Roch\'e, P.},
Booktitle = {Proceedings of the Eurographics Workshop DSV-IS'96},
Month = {June},
Title = {{Deriving a formal model of an interactive system from its UIL description in order to verify and to test its behaviour}},
Year = {1996}}
@inproceedings{halbwachs91,
Author = {Halbwachs, Nicolas and Caspi, Paul and Raymond, Pascal and Pilaud, Daniel},
Booktitle = {Proceedings of IEEE},
Date-Modified = {2014-04-13 19:54:50 +0000},
Keywords = {lustre, synchronous, programming language},
Month = {September},
Number = {9},
Pages = {1305-1320},
Series = {79},
Title = {{The synchronous dataflow programming language Lustre}},
Year = {1991},
Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUGJCVYJHZlcnNpb25YJG9iamVjdHNZJGFyY2hpdmVyVCR0b3ASAAGGoKgHCBMUFRYaIVUkbnVsbNMJCgsMDxJXTlMua2V5c1pOUy5vYmplY3RzViRjbGFzc6INDoACgAOiEBGABIAFgAdccmVsYXRpdmVQYXRoWWFsaWFzRGF0YV8QIXBhcGVycy9oYWxid2FjaHM5MXN5bmNocm9ub3VzLnBkZtIXCxgZV05TLmRhdGFPEQHMAAAAAAHMAAIAAApNYWNib29rU1NEAAAAAAAAAAAAAAAAAAAAAADPkT4tSCsAAAAX/sUaaGFsYndhY2hzOTFzeW5jaHJvbm91cy5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAJ6F4dAbkB8AAAAAAAAAAAABAAMAAAkgAAAAAAAAAAAAAAAAAAAABnBhcGVycwAQAAgAAM+RIg0AAAARAAgAANAbc/8AAAABABQAF/7FABUFVQAGJjcABiY2AAJlsgACAE9NYWNib29rU1NEOlVzZXJzOgB2aW5jZW50OgBEb2N1bWVudHM6AFRoZXNlOgBwYXBlcnM6AGhhbGJ3YWNoczkxc3luY2hyb25vdXMucGRmAAAOADYAGgBoAGEAbABiAHcAYQBjAGgAcwA5ADEAcwB5AG4AYwBoAHIAbwBuAG8AdQBzAC4AcABkAGYADwAWAAoATQBhAGMAYgBvAG8AawBTAFMARAASAD9Vc2Vycy92aW5jZW50L0RvY3VtZW50cy9UaGVzZS9wYXBlcnMvaGFsYndhY2hzOTFzeW5jaHJvbm91cy5wZGYAABMAAS8AABUAAgAO//8AAIAG0hscHR5aJGNsYXNzbmFtZVgkY2xhc3Nlc11OU011dGFibGVEYXRhox0fIFZOU0RhdGFYTlNPYmplY3TSGxwiI1xOU0RpY3Rpb25hcnmiIiBfEA9OU0tleWVkQXJjaGl2ZXLRJidUcm9vdIABAAgAEQAaACMALQAyADcAQABGAE0AVQBgAGcAagBsAG4AcQBzAHUAdwCEAI4AsgC3AL8CjwKRApYCoQKqArgCvALDAswC0QLeAuEC8wL2AvsAAAAAAAACAQAAAAAAAAAoAAAAAAAAAAAAAAAAAAAC/Q==}}
@inproceedings{dsvis98,
Author = {B. Ausbourg(d')},
Booktitle = {Design, Specification and Verification of Interactive Systems '98},
Editor = {P. Markopoulos and P. Johnson},
Month = {June},
Organization = {Eurographics},
Publisher = {Springer},
Title = {Using {M}odel {C}hecking for the {A}utomatic {V}alidation of {U}ser {I}nterfaces {S}ystems},
Year = {1998}}
@inproceedings{ausbourg98,
Added-At = {2012-05-14T00:00:00.000+0200},
Author = {d'Ausbourg, Bruno and Seguin, Christel and Durrieu, Guy and Roch{\'e}, Pierre},
Biburl = {http://www.bibsonomy.org/bibtex/2375fdbfe7256e9ad8cc1206707f2f2d2/dblp},
Booktitle = {ICSE},
Editor = {Torii, Koji and Futatsugi, Kokichi and Kemmerer, Richard A.},
Ee = {http://doi.ieeecomputersociety.org/10.1109/ICSE.1998.671121},
Interhash = {1d8dddbd2610de45ea232c329e2fc69b},
Intrahash = {375fdbfe7256e9ad8cc1206707f2f2d2},
Isbn = {0-8186-8368-6},
Keywords = {dblp},
Pages = {219-228},
Publisher = {IEEE Computer Society},
Timestamp = {2012-05-14T00:00:00.000+0200},
Title = {Helping the Automated Validation Process of User Interfaces Systems.},
Url = {http://dblp.uni-trier.de/db/conf/icse/icse98.html#dAusbourgSDR98},
Year = 1998,
Bdsk-Url-1 = {http://dblp.uni-trier.de/db/conf/icse/icse98.html#dAusbourgSDR98}}
@inproceedings{yamine00,
Acmid = {743531},
Address = {London, UK, UK},
Author = {Ameur, Yamine A\"{\i}t},