977 search results - page 39 / 196 » Formal methods integration in software engineering |
130
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
Existing software thread integration (STI) methods provide synchronous thread progress within integrated functions. For the remaining, non-integrated portions of the secondary (or...
154
click to vote
LCTRTS
2005
Springer
15 years 9 months ago
2005
Springer
Software pipelining is a critical optimization for producing efficient code for VLIW/EPIC and superscalar processors in highperformance embedded applications such as digital sign...
155
click to vote
JSW
2007
15 years 3 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...
141
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
112
click to vote
UIST
1998
ACM
15 years 8 months ago
1998
ACM
We propose a new pen-based text input method, which is an integration of software keyboards, handwriting recognition, and marking menus. With our method, a user selects a word fro...