1733 search results - page 154 / 347 » The challenges of software engineering education |
206
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
144
click to vote
AGILEDC
2007
IEEE
16 years 26 days ago
2007
IEEE
What would your Analyst team do when torn between meeting Customer versus Developer demands? When their needs conflict with one another, how do you appease them both? The report o...
167
click to vote
SEFM
2007
IEEE
16 years 24 days ago
2007
IEEE
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
149
click to vote
WER
2007
Springer
16 years 19 days ago
2007
Springer
The increasing use of multi-agent systems brings challenges that have not been studied yet, such as how should we adapt requirements elicitation to cope with agent properties like...
161
click to vote
AUIC
2005
IEEE
16 years 4 days ago
2005
IEEE
With the advent of the Tablet PC and stylus-based PDAs, sketching-based user interfaces for design tools have become popular. However, a major challenge with such interfaces is th...