8179 search results - page 176 / 1636 » The PRACTIONIST Development Tool |
191
click to vote
JUCS
2002
15 years 6 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
188
click to vote
HCI
2009
15 years 4 months ago
2009
The paper describes an experimental work conducted within the HILAS (Human Integration into the Lifecycle of Aviation Systemshttp://www.hilas.info/mambo/) project. The objective of...
130
click to vote
KBSE
2008
IEEE
16 years 25 days ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...
126
click to vote
MSE
2005
IEEE
16 years 5 hour ago
2005
IEEE
Tools have been developed that enable in-circuit testing of content processing hardware. The tools automate test and verification of new circuits using data from a predefined te...
153
click to vote
ELPUB
2007
ACM
15 years 10 months ago
2007
ACM
The growth in electronic and digital publishing on the World Wide Web has led to the development of a wide range of tools for generating metadata. As a result, it can be difficult...