685 search results - page 97 / 137 » Implementing Controlled Languages in GF |
118
Voted
WWW
2001
ACM
16 years 4 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...
99
Voted
BIRTHDAY
2009
Springer
15 years 10 months 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...
118
Voted
HICSS
2007
IEEE
15 years 10 months 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...
125
Voted
COMPSAC
2006
IEEE
15 years 9 months 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...
139
Voted
ACSC
2005
IEEE
15 years 9 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...