Sciweavers

3145 search results - page 207 / 629
» A Computational Psycholinguistic Model of Natural Language P...
Sort
View
MODELS
2010
Springer
15 years 4 months ago
Automatically Discovering Properties That Specify the Latent Behavior of UML Models
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
Heather Goldsby, Betty H. C. Cheng
UML
2001
Springer
15 years 11 months ago
Modeling the User Interface of Web Applications with UML
Today's User Interfaces (UIs) are complex software components, which play an essential role in the usability of an application. The development of UIs requires therefore, not ...
Rolf Hennicker, Nora Koch
VL
1992
IEEE
153views Visual Languages» more  VL 1992»
15 years 10 months ago
MAVIS: A Visual Environment for Active Computer Vision
MAVIS is a dataflow visual languagefor computer vision and image processing. It features a high degree of `liveness' and compliance with user directives, providing ajexible e...
Thomas J. Olson, Nicholas G. Klop, Mark R. Hyett, ...
FDL
2003
IEEE
15 years 11 months ago
UML-based Specifications of an Embedded System oriented to HW/SW partitioning: a case study
The Unified Modelling Language (UML) is a language for specifying, visualizing, constructing, and documenting the artefacts of software systems, as well as for modelling business ...
A. Minosi, S. Mankan, A. Martinola, F. Balzarini, ...
BMCBI
2007
100views more  BMCBI 2007»
15 years 6 months ago
SBMLeditor: effective creation of models in the Systems Biology Markup Language (SBML)
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
Nicolas Rodriguez, Marco Donizelli, Nicolas Le Nov...