1146 search results - page 86 / 230 » Formal Specification Generation from Requirement Documents |
100
click to vote
HASE
1999
IEEE
15 years 2 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...
101
click to vote
HT
2003
ACM
15 years 3 months ago
2003
ACM
Generating hypermedia presentations requires processing constituent material into coherent, unified presentations. One large challenge is creating a generic process for producing ...
JTAER
2008
14 years 9 months ago
2008
The adoption of advanced integration technologies that enable private and public organizations to seamlessly execute their business transactions electronically is still relatively...
SEW
2005
IEEE
15 years 3 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
SIGUCCS
2000
ACM
15 years 2 months ago
2000
ACM
The quality of student consultants and their development through training and education are major factors in determining long-term effectiveness of university Help Desk. To hire a...