1987 search results - page 175 / 398 » Structural Model: Architecture for Software Designers |
117
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Initial system specifications, such as use-case scenarios and properties, only partially specify the future system. We posit that synthesizing partial component-level behavior mod...
133
click to vote
FSTTCS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
130
click to vote
ICFP
2001
ACM
16 years 4 months ago
2001
ACM
Standard ML is a statically typed programming language that is suited for the construction of both small and large programs. "Programming in the small" is captured by St...
153
click to vote
METRICS
2002
IEEE
15 years 9 months ago
2002
IEEE
Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are d...
250
click to vote
VL
2008
IEEE
15 years 10 months ago
2008
IEEE
An important part of many programming tasks is the use of libraries and other forms of Application Programming Interfaces (APIs). Programming via web services using a Service-Orie...