685 search results - page 97 / 137 » Implementing Controlled Languages in GF |
151
click to vote
WWW
2001
ACM
16 years 6 months ago
2001
ACM
Integrity constraints are an essential part of a modern schema definition language. They are useful for semantic specification, update consistency control, query optimization, inf...
127
click to vote
BIRTHDAY
2009
Springer
16 years 23 days ago
2009
Springer
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
139
click to vote
HICSS
2007
IEEE
16 years 9 days ago
2007
IEEE
Software development is a dynamic process where engineers constantly modify and refine systems. As a consequence, system architecture evolves over time. Software architectural ev...
159
click to vote
COMPSAC
2006
IEEE
16 years 1 days ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
168
click to vote
ACSC
2005
IEEE
15 years 11 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...