1005 search results - page 16 / 201 » Formal Software Development in MAYA |
132
click to vote
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
The paper presents in brief a project aimed at the development of a methodology and corresponding software tools intended for building of proper environments giving up means for s...
145
click to vote
TCS
2002
15 years 3 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
142
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
118
click to vote
PDPTA
2003
15 years 5 months ago
2003
In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various ...
137
click to vote
ERSHOV
2006
Springer
15 years 8 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...