Sciweavers

4890 search results - page 27 / 978
» From system specifications to component behavioral models
Sort
View
CL
2006
Springer
14 years 9 months ago
Tailorable language for behavioral composition and configuration of software components
Many software systems suffer from missing support for behavioral (runtime) composition and configuration of software components. The concern "behavioral composition and confi...
Uwe Zdun
82
Voted
ICSE
2008
IEEE-ACM
15 years 10 months ago
Symbolic mining of temporal specifications
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
Mark Gabel, Zhendong Su
124
Voted
ICCS
2007
Springer
15 years 1 months ago
Building Verifiable Sensing Applications Through Temporal Logic Specification
Abstract. Sensing is at the core of virtually every DDDAS application. Sensing applications typically involve distributed communication and coordination over large self-organized n...
Asad Awan, Ahmed H. Sameh, Suresh Jagannathan, Ana...
83
Voted
ISCAS
2003
IEEE
134views Hardware» more  ISCAS 2003»
15 years 3 months ago
Analog and mixed signal modelling with SystemC-AMS
SystemC will become more and more important for the design of digital circuits from the specification down to the RT-Level. Complex systems often contain analog components. This p...
Alain Vachoux, Christoph Grimm, Karsten Einwich
BMAS
2000
IEEE
15 years 2 months ago
Integration of Mechanical CAD and Behavioral Modeling
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
Rajarishi Sinha, Christiaan J. J. Paredis, Pradeep...