7027 search results - page 1253 / 1406 » Software process: a roadmap |
168
click to vote
RML
2002
15 years 5 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...
150
click to vote
STTT
1998
15 years 5 months ago
1998
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
167
click to vote
TOCHI
1998
15 years 5 months ago
1998
A framework of complementary behavior has been proposed which maintains that direct manipulation and speech interfaces have reciprocal strengths and weaknesses. This suggests that...
191
click to vote
TCS
2002
15 years 5 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
155
click to vote
TGIS
2002
15 years 5 months ago
2002
Traditional GISystems are no longer appropriate for modern distributed, heterogeneous network environments due to their closed architecture, and their lack of interoperability, reu...