keigoi's gui [8 articles] Export

Recent papers added to keigoi's library classified by the tag gui. You can also see everyone's gui.

	CUI to GUI Migration: Static Analysis of Character-Based Panels [My Copy] In CSMR '97: Proceedings of the 1st Euromicro Working Conference on Software Maintenance and Reengineering (CSMR '97) (1997), 144. by Ingo Classen, Klaus Hennig, Ingo Mohr, Michael Schulz posted to migration gui by keigoi on 2009-10-21 11:21:12 as
	Name-passing style GUI programming in the [pi]-calculus-based language Nepi [My Copy] Electronic Notes in Theoretical Computer Science In Proceedings of ARTS 2004, the 6th AMAST Workshop on Real-Time Systems (ARTS 2004), Vol. 139, No. 1. (4 November 2005), pp. 145-168. by Atsushi Mizuno, Ken Mano, Yoshinobu Kawabe, Hiroaki Kuwabara, Kiyoshi Agusa, Shoji Yuen posted to gui picalculus by keigoi on 2008-02-15 04:53:00 as along with 1 person shimomura
	A scalable formal method for design and automatic checking of user interfaces [My Copy] ACM Trans. Softw. Eng. Methodol., Vol. 14, No. 2. (April 2005), pp. 124-167. by Jean Berstel, Stefano C. Reghizzi, Gilles Roussel, Pierluigi San Pietro posted to gui by keigoi on 2007-12-28 06:01:44 as along with 1 person shimomura
	Model checking graphical user interfaces using abstractions [My Copy] SIGSOFT Softw. Eng. Notes, Vol. 22, No. 6. (November 1997), pp. 244-261. by Matthew B. Dwyer, Vicki Carr, Laura Hines posted to gui by keigoi on 2007-12-28 05:47:47 as along with 1 person shimomura
	Analyzing Interaction Orderings with Model Checking [My Copy] In ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering (2004), pp. 154-163. by Matthew B. Dwyer, Robby, Oksana Tkachuk, Willem Visser posted to gui by keigoi on 2007-12-28 04:50:49 as along with 1 person shimomura
	Formal Modelling of Java GUI Event Handling [My Copy] Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002. Proceedings (2002), pp. 359-370. by Jessica Chen posted to gui by keigoi on 2007-12-28 02:50:58 as along with 1 person shimomura
	Specification-based Testing for Gui-based Applications [My Copy] Software Quality Journal, Vol. 10, No. 3. (1 November 2002), pp. 205-224. by Jessica Chen, Suganthan Subramaniam posted to gui by keigoi on 2007-12-28 01:08:25 as along with 1 person shimomura
	Formal Modelling of Java GUI Event Handling [My Copy] In ICFEM '02: Proceedings of the 4th International Conference on Formal Engineering Methods (2002), pp. 359-370. by Jessica Chen posted to gui by keigoi on 2007-12-28 01:03:07 as along with 1 person shimomura

Note: You may cite this page as: http://www.citeulike.org/user/keigoi/tag/gui

concurrency	78
picalculus	77
haskell	40
functionalprogramming	36
causality	19
operationalsemantics	17
distributed	15
softwareengineering	13
session	12
type	12
modelchecking	11
eventstructure	10
embeddedlanguage	9
webapplication	9
gui	8
hoas	8
java	6
metaprogramming	6
visualization	6
web_verification	6
comprehension	5
configurationmanagement	5
context	5
fundeps	5
network	5
programlogic	5
refactoring	5
softwaredesign	5
stringanalysis	5
typeclass	5
abstractinterpretation	4
concurrency-monad	4
domainspecific	4
embedded	4
location	4
logicprogramming	4
maude	4
modallogic	4
monad	4
programming	4
slicing	4
aspectoriented	3
chr	3
coq	3
databasereverse	3
dataflow	3
debruijn	3
implementation	3
javascript	3
lineartype	3
modulesystem	3
operatingsystem	3
programanalysis	3
reliability	3
reverse	3
safe-c	3
tile	3
workflowmanagement	3
ambient	2
categorytheory	2
continuation	2
cyclone	2
flowtype	2
fullabstraction	2
genericprogramming	2
hdautomata	2
modeling	2
refinement	2
rewritinglogic	2
softwareprocess	2
strictnessanalysis	2
subtyping	2
timedautomata	2
typedirected	2
alias	1
binary	1
c	1
cache	1
codeduplication	1
cognitive	1
component	1
continuationserver	1
csp	1
deadlock	1
denotationalsemantics	1
dependency	1
dimensional_analysis	1
dsl	1
duce	1
erlang	1
escapeanalysis	1
expressiveness	1
faulttolerance	1
gadt	1
hardware	1
immutable	1
iospec	1
lowlevel	1
lts	1
memory	1
migration	1
multilanguage	1
object_oriented_programming	1
p2p	1
partialevaluation	1
proofcarrying	1
region	1
resourcebounds	1
resourceusage	1
reuse	1
ruby	1
scala	1
scheme	1
spreadsheet	1
stm	1
survey	1
termrewriting	1
testing	1
timedsystem	1
trs	1
typecast	1
typefunction	1

keigoi's gui [8 articles] Export

keigoi's tags