826 search results - page 120 / 166 » A Pragmatic Approach to Formalizing Object-Oriented Modeling... |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
DEXAW
1998
IEEE
14 years 3 days ago
1998
IEEE
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
NGITS
1999
Springer
14 years 10 days ago
1999
Springer
As the requirements for system analysis and design become more complex, the need for a natural, yet formal way of specifying system analysis findings and design decisions are becom...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
VSTTE
2005
Springer
14 years 1 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...