249 search results - page 23 / 50 » Analyzing software process models with AVISPA |
EDBTW
2006
Springer
13 years 9 months ago
2006
Springer
The information infrastructure in today's businesses consists of many interoperating autonomous systems. Changes to a single system can therefore have an unexpected impact on ...
DATE
2000
IEEE
14 years 2 days ago
2000
IEEE
This paper presents the system synthesis techniques available in S3 E2 S, a CAD environment for the specification, simulation, and synthesis of embedded electronic systems that ca...
MKWI
2008
13 years 9 months ago
2008
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
SIGSAND
2008
13 years 9 months ago
2008
: Today's businesses must continuously adapt to changing external environment in accelerated time frames. This requires businesses to decrease costs and time of the very proce...
AC
2007
Springer
13 years 7 months ago
2007
Springer
The focus of this chapter is to review what is known about free and open source software development (FOSSD) work practices, development processes, project and community dynamics,...