1661 search results - page 152 / 333 » Real-time specification patterns |
102
click to vote
ENTCS
2008
15 years 1 months ago
2008
Attribute grammar specification languages, like many domain specific languages, offer significant advantages to their users, such as high-level declarative constructs and domain-s...
125
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Regulatory regions that function in DNA replication and gene transcription contain specific sequences that bind proteins as well as less-specific sequences in which th...
82
Voted
COMPSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
The paper aims at presenting a method of controlling software quality attributes driven by the set of requirements. This is done in three steps: specifying all the requirements, ma...
107
click to vote
ER
2000
Springer
15 years 5 months ago
2000
Springer
Data Acquisition Systems (DAS) are the basis for building monitoring tools that enable the supervision of local and remote systems. DASs are complex systems. It is difficult for de...
121
click to vote
FLOPS
2008
Springer
15 years 3 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...