3765 search results - page 98 / 753 » Formal Methods for Systems Engineering Behavior Models |
104
click to vote
ECIS
2000
15 years 3 months ago
2000
The paper addresses some misconceptions of Software Engineering, requirements analysis and modelling in particular, due to underlying epistemological flaws., e.g. the believe that...
121
Voted
CBMS
2008
IEEE
15 years 9 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
93
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
VMCAI
2009
Springer
15 years 9 months ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
108
click to vote
ISOLA
2010
Springer
15 years 27 days ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...