1538 search results - page 88 / 308 » Software design and engineering as a social process |
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
EDUTAINMENT
2007
Springer
14 years 3 months ago
2007
Springer
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
DESRIST
2009
Springer
14 years 1 months ago
2009
Springer
Despite the widespread recognition that information technology (IT) and business process are tightly connected, existing system design methods provide limited guidance on how to t...
CODES
2004
IEEE
14 years 21 days ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
CSSE
2008
IEEE
14 years 3 months ago
2008
IEEE
: The technology of virtual machines is widely applied in many fields, such as code transplanting, cross-platform computing, and hardware simulation. The main purpose is to simulat...