14 search results - page 3 / 3 » Are Formal Methods Ready for Agility |
CHI
2007
ACM
14 years 5 months ago
2007
ACM
Traditionally, software engineering processes are based on a formalist model that emphasizes strict documentation, procedural and validation standards. Although this is a poor fit...
JCIT
2008
13 years 5 months ago
2008
Active database systems (ADBS) can, automatically, react to the occurrence of predefined events by definition a collection of active rules. One of the most important modules of AD...
GEOS
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. The realization of Semantic Web reasoning is central to substantiating the Semantic Web vision. However, current mainstream research on this topic faces serious challenge...
ICSE
2010
IEEE-ACM
13 years 3 months ago
2010
IEEE-ACM
The development of video games comprises engineering teams within various disciplines, e.g., software engineering, game production, and creative arts. Game jams are a promising ap...