1926 search results - page 160 / 386 » Modeling and Model Checking Software Product Lines |
171
click to vote
ICESS
2005
Springer
15 years 12 months ago
2005
Springer
PeaCE(Ptolemy extension as a Codesign Environment) was developed for the hardware and software codesign framework which allows us to express both data flow and control flow. The fF...
163
click to vote
APSEC
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
157
click to vote
CSMR
2006
IEEE
16 years 14 days ago
2006
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
172
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
194
click to vote
AGILEDC
2004
IEEE
15 years 10 months ago
2004
IEEE
Through his law, "adding manpower to a late software project makes it later," Brooks asserts that the assimilation, training, and intercommunication costs of adding new ...