1641 search results - page 107 / 329 » The Timeboxing process model for iterative software developm... |
AICCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
The specification, analysis, and administration of business processes have charged great importance in this last time. This has been caused by a competitive industry necessity, dy...
129
click to vote
JSW
2008
15 years 1 months ago
2008
The current software development environment has been changing into new development paradigms such as concurrent distributed development environment and the so-called open source p...
111
click to vote
UML
1999
Springer
15 years 5 months ago
1999
Springer
Software architecture research has thus far mainly addressed formal specification and analysis of coarse-grained software models. The formality of architectural descriptions, their...
169
click to vote
DCEIS
2006
15 years 2 months ago
2006
During software engineering processes lots of artifacts are produced to document the development of a concrete software. For artifacts which are related with respect to their meani...
142
click to vote
FMICS
2010
Springer
15 years 1 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...