1162 search results - page 155 / 233 » Specifying Reusable Components |
RSP
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
EUROMICRO
2005
IEEE
15 years 3 months ago
2005
IEEE
In multi-disciplinary development, where various domain specific tools are used by developers to specify and analyse a system, efficient system development requires that the model...
ER
2004
Springer
15 years 3 months ago
2004
Springer
Being part of domain engineering, domain analysis enables identifying domains and capturing their ontologies in order to assist and guide system developers to design domain-specifi...
ICSM
2003
IEEE
15 years 3 months ago
2003
IEEE
The use of product lines is recognized as beneficial in promoting and structuring both component and architecture reuse throughout an organization. While the business practices of...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...