Sciweavers

3024 search results - page 264 / 605
» Requirement Engineering in Service-Oriented System Engineeri...
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Best practices in extreme programming course design
Teaching (and therefore learning) eXtreme Programming (XP) in a university setting is difficult because of course time limitations and the soft nature of XP that requires first-ha...
Kai Stapel, Daniel Lübke, Eric Knauss
CHI
2005
ACM
16 years 7 months ago
Intelligent lighting for a better gaming experience
Lighting assumes many aesthetic and communicative functions in game environments that affect attention, immersion, visibility, and emotions. Game environments are dynamic and high...
Magy Seif El-Nasr, Joseph A. Zupko, Keith Miron
ICSM
2008
IEEE
16 years 1 months ago
Traceability for the maintenance of secure software
Traceability links among different software engineering artifacts make explicit how a software system was implemented to accommodate its requirements. For secure and dependable so...
Yijun Yu, Jan Jürjens, John Mylopoulos
COMPSAC
2006
IEEE
16 years 20 days ago
On the Distribution of Property Violations in Formal Models: An Initial Study
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
Jimin Gao, Mats Per Erik Heimdahl, David Owen, Tim...
TAICPART
2006
IEEE
131views Education» more  TAICPART 2006»
16 years 18 days ago
Bogor: A Flexible Framework for Creating Software Model Checkers
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
Robby, Matthew B. Dwyer, John Hatcliff