788 search results - page 114 / 158 » Design and use of a system-level specification and verificat... |
176
click to vote
ER
2005
Springer
15 years 11 months ago
2005
Springer
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
125
click to vote
HICSS
2007
IEEE
16 years 19 days ago
2007
IEEE
This article presents results from a small-scale pilot study investigating linguistic production and structural patterns while multitasking and interrelating these findings with c...
171
click to vote
ICSR
2004
Springer
15 years 11 months ago
2004
Springer
Aspect oriented programming (AOP) seeks to decompose concerns which crosscut system structure into more manageable modules. However, current AOP techniques alone lack the configura...
162
click to vote
CHI
1999
ACM
15 years 10 months ago
1999
ACM
Interface builders are popular tools for designing and developing graphical user interfaces. These tools, however, are engineering-centered; they operate mainly on windows and wid...
145
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Security protocols are small programs designed to ensure properties such as secrecy of messages or authentication of parties in a hostile environment. In this paper we investigate ...