358 search results - page 3 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
CAISE
1997
Springer
13 years 10 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
EUROMICRO
2004
IEEE
13 years 9 months ago
2004
IEEE
The paper summarizes three years of experience of introducing agile practices in academic environments. The perceptions of students from four different academic programs (Diploma,...
ASM
2010
ASM
13 years 9 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
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...
ERSHOV
2006
Springer
13 years 9 months ago
2006
Springer
The article presents an approach to development of software standards usage infrastructure. The approach is based on formalization of standards and automated conformance test deriv...