24095 search results - page 311 / 4819 » Researchers and Development - Young Researches |
192
click to vote
WER
2005
Springer
16 years 5 days ago
2005
Springer
Requirement traceability is intended to ensure continued alignment between stakeholders’ requirements and various outputs of the system development process. Therefore a process f...
158
click to vote
ZUM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
152
click to vote
RTA
2004
Springer
16 years 1 days ago
2004
Springer
Over the past decade, researchers have found context-sensitive term-rewriting semantics to be powerful and expressive tools for modeling programming languages, particularly in esta...
154
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
Knowledge transfer among geographically separated members is recognized as a critical ingredient for collaborative accomplishment of knowledge work in virtual teams. However, due ...
149
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...