Sciweavers

2682 search results - page 46 / 537
» An Iterative-Cyclic Software Process Model
Sort
View
SEFM
2008
IEEE
15 years 4 months ago
Restricted Broadcast Process Theory
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
Fatemeh Ghassemi, Wan Fokkink, Ali Movaghar
SEFM
2005
IEEE
15 years 3 months ago
A Synchronous Process Calculus for Service Costs
We present a process calculus where synchronous composition is the central algebraic notion; equivalences between processes via bisimilarity or trace can be studied quite simply i...
Siva Anantharaman, Jing Chen, Gaétan Hains
ICCSA
2010
Springer
14 years 7 months ago
An Aspect-Oriented Approach for Mobile Embedded Software Modeling
Recently, it is one of the most challenging fields in software engineering for embedded software development, since the advancement of embedded technologies has made our life incre...
Yong-Yi Fanjiang, Jong-Yih Kuo, Shang-Pin Ma, Wong...
SE
2008
14 years 11 months ago
Integrating Software Lifecycle Models into a uniform Software Engineering Model
: Software lifecycle models differ in their artifacts as well as in the dependencies between the included tasks and activities. Therefore support-tools, which support these lifecyc...
Jonas Helming
WSC
2000
14 years 11 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März