9443 search results - page 352 / 1889 » Web-centric language models |
175
click to vote
ACSD
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Safety properties are an important class of properties as in the industrial use of model checking a large majority of the properties to be checked are safety properties. ...
201
click to vote
BIS
2010
15 years 4 months ago
2010
Inter-organizational B2B systems are most likely tending to change their business requirements over time - e.g. establishing new partnerships or change existing ones. The problem i...
252
click to vote
ICSEA
2009
IEEE
15 years 4 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
195
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It es, ho...
176
click to vote
SIGADA
1999
Springer
15 years 11 months ago
1999
Springer
Representing interdependencies between the objects of an object-oriented software application requires designtime mechanisms for specifying object interrelationships, as well as s...