977 search results - page 167 / 196 » Formal methods integration in software engineering |
123
click to vote
RE
2008
Springer
15 years 3 months ago
2008
Springer
U.S. laws and regulations are designed to support broad societal goals, such as accessibility, privacy and safety. To demonstrate that a product complies with these goals, busines...
164
Voted
PAMI
2012
13 years 6 months ago
2012
— Art historians have long observed the highly characteristic brushstroke styles of Vincent van Gogh and have relied on discerning these styles for authenticating and dating his ...
158
click to vote
ISSA
2004
15 years 5 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...
145
click to vote
APCCM
2009
15 years 5 months ago
2009
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
161
Voted
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...