878 search results - page 117 / 176 » Teaching software engineering through game design |
SIGSOFT
2009
ACM
14 years 11 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
APSEC
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
SEFM
2005
IEEE
14 years 3 months ago
2005
IEEE
The spoken language interface is now becoming an increasingly serious research topic with application to a wide range of highly engineered systems. Such systems not only include i...
WCRE
2009
IEEE
14 years 5 months ago
2009
IEEE
—During the evolution of a software system, a large amount of information, which is not always directly related to the source code, is produced. Several researchers have provided...
QOSA
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. An architectural bad smell is a commonly (although not always intentionally) used set of architectural design decisions that negatively impacts system lifecycle propertie...