403 search results - page 8 / 81 » Integrating Z into Large Projects Tools and Techniques |
RE
2008
Springer
14 years 7 months ago
2008
Springer
In this paper, we describe a creativity workshop that was used in a large research project, called APOSDLE, to generate creative ideas and requirements for a workintegrated learni...
ICCAD
1999
IEEE
15 years 1 months ago
1999
IEEE
State space techniques have proven to be useful for measuring and improving the coverage of test vectors that are used during functional validation via simulation. By comparing th...
ICSE
2010
IEEE-ACM
14 years 7 months ago
2010
IEEE-ACM
Team collaboration is essential for the success of multi-developer projects. When team members are spread across different locations, individual awareness of the activity of other...
ICSE
2001
IEEE-ACM
15 years 1 months ago
2001
IEEE-ACM
The design of complex systems requires powerful mechanisms for modeling state, concurrent events, and real-time behavior; as well as for visualising and structuring systems in ord...
AGILEDC
2007
IEEE
15 years 3 months ago
2007
IEEE
This experience report is about a software process, designed with performance testing in mind, was used to create a mission critical integration layer. This report focuses on how ...