1487 search results - page 72 / 298 » On Validating Engineering Design Decision Support Tools |
107
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
102
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
The advent of domain-specific modeling in enterprise systems development has given rise to new tool requirements. Existing tools do not offer sufficient modeling guidance or inc...
127
click to vote
W4A
2006
ACM
15 years 10 months ago
2006
ACM
Developing Web pages following established standards can make the information more accessible, their rendering more efficient, and their processing by computer applications easier...
139
click to vote
GROUP
2005
ACM
15 years 9 months ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
152
click to vote
LREC
2008
15 years 5 months ago
2008
Combinatorial Category Grammar is (CCG) a lexicalized grammar formalism which is expressed by syntactic category, a logical form representation. There are difficulties in represen...