Semantic Scholar uses AI to extract papers important to this topic.
Enabled by Service-Oriented Architecture (SOA), recently Software as a Service (SaaS) and Cloud computing are gaining momentum in… Expand Research in formal description of programming languages over the past four decades has led to some significant achievements… Expand Learning from texts is a noble but distant research goal. We investigate the practicality of a more modest enterprise in which… Expand In large software development organizations, increased complexity of products, shortened development cycles, and heightened… Expand Many statechart-based testing strategies result in specifying a set of paths to be executed through a (flattened) statechart… Expand With the specifiaction of Action Semantics in UML 1.5, the OMG has layed ground to manipulating object diagrams in a formal way… Expand The UML lacks precise and formal foundations for several constructs such as transition guards or method bodies, for which it… Expand Action Semantics is a framework for the formal description of programming languages. Its main advantage over other frameworks is… Expand We report progress on the development of Actress, a compiler generator based on action semantics. It consists of a number of… Expand A distinguishing characteristic of action semantics is its facet system, which defines the variety of information flows in a… Expand