2702 search results - page 2 / 541 » Practically Applicable Formal Methods |
RE
1997
Springer
13 years 10 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
ENTCS
2008
13 years 4 months ago
2008
Previous research has developed a formal methods-based (cognitive-level) model of the Interacting Cognitive Subsystems central engine, with which we have simulated attentional cap...
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
FM
1999
Springer
13 years 10 months ago
1999
Springer
ICIW
2007
IEEE
14 years 2 days ago
2007
IEEE
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...