1601 search results - page 115 / 321 » The affordable application of formal methods to software eng... |
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
KBSE
1997
IEEE
14 years 1 months ago
1997
IEEE
Despite vast interest in design patterns, the specification and application of patterns is generally assumed to rely on manual implementation. We describe a precise method of spec...
FIW
2009
13 years 7 months ago
2009
The security of software applications is an important domain, and one that mixes formalisms (e.g. when dealing with cryptography and security protocols) with very ad hoc, low level...
COMPSAC
2002
IEEE
14 years 2 months ago
2002
IEEE
A workflow system provides enterprises the automatic and paperless process management. The idea of Enterprise JavaBeans (EJB) is to utilize components from various vendors to cons...