89 search results - page 4 / 18 » Bristlecone: A Language for Robust Software Systems |
CC
2005
Springer
14 years 1 months ago
2005
Springer
Software testing to produce reliable and robust software has become vitally important in recent years. Testing is a process by which software quality can be assured through the co...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
XML is increasingly being used as a typed data format, and therefore it becomes more important to gain access to the type system; very often this is an XML Schema. The XML Schema ...
POPL
2010
ACM
14 years 5 months ago
2010
ACM
Many large software systems originate from untyped scripting language code. While good for initial development, the lack of static type annotations can impact code-quality and per...
IFIP
1992
Springer
13 years 12 months ago
1992
Springer
We provide a structured classification of properties to guide the principled design of interactive systems. This classification is motivated by an existing software quality framew...
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...