403 search results - page 43 / 81 » Integrating Z into Large Projects Tools and Techniques |
124
click to vote
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
135
click to vote
IS
2012
13 years 7 months ago
2012
Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred mode...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Software engineering projects are inherently cooperative, requiring many software engineers to coordinate their efforts to produce a large software system. Integral to this effort...
CSCWD
2009
Springer
15 years 6 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
102
click to vote
ISORC
2007
IEEE
15 years 6 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...