Sciweavers

288 search results - page 9 / 58
» ArrayD: A general purpose software for Microarray design
Sort
View
ML
2007
ACM
14 years 9 months ago
Status report: specifying javascript with ML
The Ecma TC39-TG1 working group is using ML as the specification language for the next generation of JavaScript, the popular programming language for browser-based web applicatio...
David Herman, Cormac Flanagan
PLDI
2003
ACM
15 years 3 months ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
CSUR
2008
351views more  CSUR 2008»
14 years 10 months ago
Process-centered review of object oriented software development methodologies
on the methodologies and processes, but instead provide an abstract and structured description in a way that facilitates their elaborate analysis for the purposes of improving unde...
Raman Ramsin, Richard F. Paige
CHI
2010
ACM
15 years 5 months ago
Communicating software agreement content using narrative pictograms
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
Matthew Kay, Michael Terry
ICMCS
1999
IEEE
131views Multimedia» more  ICMCS 1999»
15 years 2 months ago
A Method for Evaluating Multimedia Learning Software
We submit a method (EMPI: Evaluation of Multimedia, Pedagogical and Interactive software) to evaluate multimedia software used in educational context. Our purpose is to help users...
Stéphane Crozat, Olivier Hû, Philippe...