3564 search results - page 208 / 713 » Evaluating a Formal Modelling Language |
134
click to vote
IASTEDSE
2004
15 years 8 months ago
2004
This paper describes a case study on application of natural language processing in very early stages of the requirements engineering. In our previous work [7] we have shown how na...
165
click to vote
ENTCS
2006
15 years 6 months ago
2006
We formalize two proofs of weak head normalization for the simply typed lambdacalculus in first-order minimal logic: one for normal-order reduction, and one for applicative-order ...
198
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. WebML (Web Modelling Language) is a language for the design of dataintensive Web sites. It is supported by visual tools allowing the definition of the conceptual data or...
138
click to vote
ECBS
2005
IEEE
16 years 4 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
150
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
There is a range of modelling notations, both textual and diagrammatic, whose semantics are based on first-order predicate logic. This paper presents a visual framework for organ...