2740 search results - page 78 / 548 » Typing the Specialization Interface |
116
click to vote
WSKS
2009
Springer
15 years 5 months ago
2009
Springer
Model-Driven Development (MDD) has encouraged the use of automated software tools that facilitate the development process from modelling to coding. User Interfaces (UI), as a signi...
79
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connec...
86
Voted
ACOM
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper we propose to regard an Agent Communication Language (ACL) as a set of conventions to act on a fragment of institutional reality, defined in the context of...
96
Voted
ML
2006
ACM
15 years 19 days ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
88
Voted
DLOG
2010
14 years 10 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...