nasff.blogg.se

Wku icap
Wku icap













  1. Wku icap verification#
  2. Wku icap software#

Weerawarana, Web service definition language (wsdl) Rapport technique, World Wide Web Consortium, 2001. Cousot, Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, POPL '77, pp. Bertran, Nicolas Loriant et Charles Consel : A generative programming approach to developing pervasive computing systems, GPCE '09 : Proceedings of the eighth international conference on Generative programming and component engineering, pp. Rodney, Brooks : A robust layered control system for a mobile robot Robotics and Automation, IEEE Journal, vol. Brooke, Sus-a quick and dirty usability scale Usability Evaluation in Industry, 1996.Ī. Jacobson, The unified modeling language user guide, J.

wku icap wku icap

Boudol, Atomic actions, Bulletin of the European Association for Theoretical Computer Science (EATCS), vol. Rizzi, VISIONARY: a Viewpoint-based Visual Language for Querying Relational Databases, Journal of Visual Languages & Computing, vol. Mcintyre, Visual programming -guest editors' introduction, IEEE Computer, vol.

Wku icap verification#

Owre, InVeSt : A tool for the verification of invariants, CAV'98 : Computer Aided Verification, pp. Lewis, ChemTrains: a language for creating behaving pictures, Proceedings 1993 IEEE Symposium on Visual Languages, pp. Miller, An Empirical Evaluation of the System Usability Scale, International Journal of Human-Computer Interaction, vol. Consel, Diasim, a parameterized simulator for pervasive computing applications, Mobiquitous'09 : Proceedings of the 6th International Conference on Mobile and Ubiquitous Systems : Computing, Networking and Services, 2009.Ī. Visual object-oriented programming : concepts and environments, 1995.

Wku icap software#

Rothermel, End-user software engineering, Communications of the ACM, vol. Baker, A classification system for visual programming languages, Journal of Visual Languages & Computing, vol.

wku icap

Herkimer et al., Forms/3 : A first-order visual language to explore the boundaries of the spreadsheet paradigm, Journal of Functional Programming, vol.















Wku icap