Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Sven Feja"'
Publikováno v:
Agile Processes in Software Engineering and Extreme Programming – Workshops ISBN: 9783030588571
XP Workshops
XP Workshops
Even the rather traditional consulting industry is not spared from digitization. Digital platforms are known to foster convergence and generativity. For the consulting industry, digital platforms offer the potential to win new customer groups who hav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f41579713623a1cff459aaee7527c4d1
https://doi.org/10.1007/978-3-030-58858-8_7
https://doi.org/10.1007/978-3-030-58858-8_7
Publikováno v:
SWAN@ESEC/SIGSOFT FSE
In practice, developers usually seek different ways to save time and effort. Thus, they use different tools (such as search engines, issue tracking, or Q&A sites) to collaborate and find code examples that meet their specific needs. However, such too
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8d4d7dba9a0693f90447402d219405c
https://doi.org/10.1145/3121257.3121258
https://doi.org/10.1145/3121257.3121258
Publikováno v:
Computer Science and Information Systems. 8:427-446
The behavior of commercial systems is described with business process models. There are different notations and formalism to express business processes. Many of these notations such as BPMN or ARIS EPC models are widely used in commercial projects. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::654eacc04c2172353ebb48f44b6b82fb
https://doi.org/10.2298/csis110111015s
https://doi.org/10.2298/csis110111015s
Publikováno v:
Knowledge-Based Systems. 23:667-676
System quality is a key issue in modern systems development. Tool support is essential for checking the system quality efficiently. This is particularly true with respect to the dynamic interactions of the processes within a system. A first generatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62f4de4a6b59006004d1c7db72f6a4d4
https://doi.org/10.1016/j.knosys.2010.03.005
https://doi.org/10.1016/j.knosys.2010.03.005
Publikováno v:
Communications in Computer and Information Science ISBN: 9783319226880
SoMeT
SoMeT
Graphically represented Business Process Models (BPMs) are common artifacts in documentation as well as in early phases of (software) development processes. The Graphical Computation Tree Logic (G-CTL) is a notation to define formal graphical validat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1413607ee435964bd21f6acd6e82b573
https://doi.org/10.1007/978-3-319-22689-7_9
https://doi.org/10.1007/978-3-319-22689-7_9
Publikováno v:
Business Information Systems ISBN: 9783319190266
BIS
BIS
Business process regulatory compliance management (RCM) is ensuring that the business processes of an organization are in accordance with laws and other domain-specific regulations. In order to achieve compliance, various approaches advocate checking
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd25f9d0b97558fed331746771fe99e5
https://doi.org/10.1007/978-3-319-19027-3_15
https://doi.org/10.1007/978-3-319-19027-3_15
Publikováno v:
RE
(Business) Process models are common artifacts in requirements engineering. The models can be enriched with plenty of (detailed) information and their at least semi formal character even enables model driven approaches or direct execution in workflow
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1436e0f1bb7949583f8ec381b6fa7a2e
https://doi.org/10.1109/re.2014.6912283
https://doi.org/10.1109/re.2014.6912283
Publikováno v:
ICST Workshops
Business Process Models (BPMs) are widely used for documentation and (model driven) software development. Due to the increasing complexity of BPMs automated checking is unavoidable to ensure the quality of BPMs. This requires formal specification met
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b6fba027ec017ae61801685e8a3274f
https://doi.org/10.1109/icstw.2014.30
https://doi.org/10.1109/icstw.2014.30
Publikováno v:
SoMeT
Automated checking concepts for business process models support human testers considerably by saving time. However, this new checking ability results in a comparatively large number of rules representing requirements. But without a comprehensible rep
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b8dc92360dcc0ff4a97df652d3bd720b
https://doi.org/10.1109/somet.2013.6645663
https://doi.org/10.1109/somet.2013.6645663