1463 search results - page 188 / 293 » Software engineering practices in Singapore |
171
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
175
click to vote
ESEM
2007
ACM
15 years 10 months ago
2007
ACM
Providing robust decision support for software engineering (SE) requires the collection of data across multiple contexts so that one can begin to elicit the context variables that...
195
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
174
click to vote
ISPASS
2005
IEEE
16 years 5 days ago
2005
IEEE
Abstract— Network processing is becoming an increasingly important paradigm as the Internet moves towards an architecture with more complex functionality inside the network. Mode...
178
click to vote
ASPLOS
2011
ACM
14 years 10 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...