1959 search results - page 106 / 392 » Concerned About Separation |
116
click to vote
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...
100
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We motivate, discuss and present extensions to architecture modelling techniques through which business systems can support services and applications that are location an...
137
click to vote
LCTRTS
2001
Springer
15 years 8 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...
141
click to vote
COMPSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
174
click to vote
APN
2010
Springer
15 years 8 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...