336 search results - page 27 / 68 » Formal architectural abstractions for interactive software |
203
click to vote
FASE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
166
click to vote
ICSE
1994
IEEE-ACM
15 years 10 months ago
1994
IEEE-ACM
Abstract. Language-based editing systems have the potential to become a practical, central, and powerful part of every software engineer's toolkit, but progress has been limit...
166
click to vote
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Software engineering describes a system at different levels of abstraction. Agent-oriented software engineering introduces a new level, called the agent level, to allow t...
160
click to vote
APN
2005
Springer
16 years 3 days ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
161
click to vote
FASE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we present a layered architecture for modeling workflows in Mobile Ad-Hoc NETworks (manets) using algebraic higher order nets (aho nets). manets are networ...