201 search results - page 18 / 41 » Formal Specification in Collaborative Design of Critical Sof... |
ACMDIS
2000
ACM
13 years 12 months ago
2000
ACM
This paper focuses on ways and means of stimulating idea generation in collaborative situations involving designers, engineers, software developers, users and usability people. Pa...
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
CSI
2007
13 years 7 months ago
2007
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP ...
IEEEICCI
2002
IEEE
14 years 14 days ago
2002
IEEE
There are already many projects focusing on Computer Aided Software Engineering (CASE) tools for object-oriented analysis and design. However, at this moment, there are certain li...
IWSOC
2005
IEEE
14 years 1 months ago
2005
IEEE
The open model for solutions development is quickly extending from software to other technology areas, such as hardware and services. Specifically, just as open source has spawned...