1676 search results - page 146 / 336 » Formal System Development with KIV |
130
click to vote
INFSOF
2002
15 years 4 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
150
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
127
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
120
click to vote
IPPS
2000
IEEE
15 years 9 months ago
2000
IEEE
Abstract. The concept of software architecture has created a new scenario for incorporating non-functional and transactional requirements into the software design. Transactional an...
159
click to vote
AGENTCL
2000
Springer
15 years 9 months ago
2000
Springer
The ability to communicate is one of the salient properties of agents. Although a number of agent communication languages (ACLs) have been developed, obtaining a suitable formal se...