274 search results - page 31 / 55 » The Maude Formal Tool Environment |
CHI
1997
ACM
14 years 2 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
The demand for quickly delivering new applications is increasingly becoming a business imperative today. Application development is often done in an ad hoc manner, without standar...
EACL
1989
ACL Anthology
13 years 11 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
BMCBI
2010
13 years 10 months ago
2010
Background: Many protein structures determined in high-throughput structural genomics centers, despite their significant novelty and importance, are available only as PDB depositi...
TOMACS
1998
13 years 9 months ago
1998
architectures at multiple levels of abstraction, encompassing both hardware and software. It has five modes of operation (Design, Model Validation, Build Simulation, Simulate Syste...