6722 search results - page 206 / 1345 » The DSML4MAS development environment |
156
click to vote
ISORC
2007
IEEE
15 years 11 months ago
2007
IEEE
Methodologies, techniques and tools that currently support the embedded systems (ESs) development process prove inadequate for today’s complex ESs. Adopted traditional architect...
162
click to vote
VL
2005
IEEE
15 years 10 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
139
click to vote
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
148
Voted
MOBILWARE
2009
ACM
15 years 9 months ago
2009
ACM
Major software companies, such as Apple and Google, are disturbing the relatively safe and established actors of the mobile application business. These newcomers have caused signiï...
125
click to vote
TAP
2009
Springer
15 years 11 months ago
2009
Springer
Safety and security are claimed major concerns by the formal FoCaL development environment. In [7] we introduced a safety development cycle customised to FoCaL. In this paper, we e...