14670 search results - page 83 / 2934 » The Systems Modeling Language for Products and Systems Devel... |
DEEC
2005
IEEE
14 years 1 months ago
2005
IEEE
A base of clearly defined product information is a key foundation for an e-commerce system. The manipulation and exchange of semantically enriched and precise product information ...
IFIP
1992
Springer
14 years 7 days 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...
ECRTS
2007
IEEE
14 years 2 days ago
2007
IEEE
RR
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
JCSS
2011
13 years 3 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...