1481 search results - page 150 / 297 » Enriching the Software Development Process by Formal Methods |
138
Voted
ICSOC
2010
Springer
15 years 1 months ago
2010
Springer
We promote the use of transactional attributes for modelling business processes in the service-oriented scenario. Transactional attributes have been introduced in Enterprise JavaBe...
129
click to vote
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
110
click to vote
DATE
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a design method (HASoC) for the lifecycle modelling of embedded systems that are targeted primarily, but not necessarily, at SoC implementations. The object-oriented de...
123
click to vote
EDBTW
2006
Springer
15 years 7 months ago
2006
Springer
ORM (Object-Role Modeling) is a rich and well-known conceptual modeling method. As ORM has a formal semantics, reasoning tasks such as satisfiability checking of an ORM schema natu...
132
click to vote
ICECCS
2005
IEEE
15 years 9 months ago
2005
IEEE
SOFL is a formal language and method for software system analysis, specification and design and it fully supports structured techniques and object-oriented techniques. AOP (Aspect...