Sciweavers

7835 search results - page 186 / 1567
» Software are Processes Too
Sort
View
CODES
2001
IEEE
15 years 8 months ago
The usage of stochastic processes in embedded system specifications
We review the use of nondeterminism and identify two different purposes. The descriptive purpose handles uncertainties in the behaviour of existing entities. The constraining purp...
Axel Jantsch, Ingo Sander, Wenbiao Wu
FASE
2000
Springer
15 years 8 months ago
A Process Algebra for Real-Time Programs
Abstract. We introduce a generalised notion of a real-time speci cation language (\GPLC-Automata") that can be translated directly into real-time programs. In order to describ...
Henning Dierks
CCE
2010
15 years 2 months ago
Multi-scale methods and complex processes: A survey and look ahead
AbstrAct A comprehensive overview of numerical methodologies currently available for analyzing and building understanding of complex processes is presented. Both equation-free and ...
Angelo Lucia
ISSRE
2005
IEEE
15 years 10 months ago
A Novel Method for Early Software Quality Prediction Based on Support Vector Machine
The software development process imposes major impacts on the quality of software at every development stage; therefore, a common goal of each software development phase concerns ...
Fei Xing, Ping Guo, Michael R. Lyu
IWSAPF
2000
15 years 8 months ago
Creating Product Line Architectures
The creation and validation of product line software architectures are inherently more complex than those of software architectures for single systems. This paper compares a proces...
Joachim Bayer, Oliver Flege, Cristina Gacek