Revision history of "FORMAL ANALYSIS AND APPLICATIONS OF WEB SERVICES AND ELECTRONIC CONTRACTS" (Q3154099)

9 October 2024

• curprev 10:1010:10, 9 October 2024‎ DG Regio talk contribs‎ 123,064 bytes −1‎ ‎Changed label, description and/or aliases in pt
• curprev 10:1010:10, 9 October 2024‎ DG Regio talk contribs‎ 123,065 bytes +86‎ ‎Set a claim value: summary (P836): O PRINCIPAL OBJECTIVO DO PROJECTO DARTS (DESENVOLVIMENTO FORMAL E ANÁLISE DOS SISTEMAS COMPLEXOS EM CONTEXTOS DISTRIBUÍDOS: FUNDAMENTAIS, FERRAMENTAS E APLICAÇÕES) consiste em contribuir, com métodos e ferramentas, para o desenvolvimento formal de sistemas completos de software que funcionam em locais distribuídos. Dada a extensão do campo, e tendo em conta a experiência anterior dos grupos de narcotraficantes, vamos concentrar-nos na concepção form...

23 March 2024

• curprev 12:2312:23, 23 March 2024‎ DG Regio talk contribs‎ 122,979 bytes +288‎ ‎Added qualifier: readability score (P590521): 0.6016958375209123

20 December 2023

• curprev 16:4616:46, 20 December 2023‎ DG Regio talk contribs‎ 122,691 bytes +389‎ ‎Changed an Item

12 June 2023

• curprev 14:2714:27, 12 June 2023‎ DG Regio talk contribs‎ 122,302 bytes +882‎ ‎Changed an Item

10 June 2023

• curprev 06:3306:33, 10 June 2023‎ Admin talk contribs‎ 121,420 bytes +437‎ BatchIngestion

4 August 2022

• curprev 08:2808:28, 4 August 2022‎ DG Regio talk contribs‎ 120,983 bytes +86,459‎ ‎Changed label, description and/or aliases in et, lt, hr, el, sk, fi, pl, hu, cs, lv, ga, sl, bg, mt, pt, da, ro, sv, nl, fr, de, it, es, and other parts: Adding translations: et, lt, hr, el, sk, fi, pl, hu, cs, lv, ga, sl, bg, mt, pt, da, ro, sv,

16 January 2022

• curprev 12:2612:26, 16 January 2022‎ DG Regio talk contribs‎ 34,524 bytes +4,475‎ ‎Changed label, description and/or aliases in it, and other parts: Adding Italian translations

17 December 2021

• curprev 12:0312:03, 17 December 2021‎ DG Regio talk contribs‎ 30,049 bytes +4,516‎ ‎Changed label, description and/or aliases in nl, and other parts: Adding Dutch translations

9 December 2021

• curprev 08:5008:50, 9 December 2021‎ DG Regio talk contribs‎ 25,533 bytes +4,565‎ ‎Changed label, description and/or aliases in de, and other parts: Adding German translations

4 December 2021

• curprev 08:0408:04, 4 December 2021‎ DG Regio talk contribs‎ 20,968 bytes +4,761‎ ‎Changed label, description and/or aliases in fr, and other parts: Adding French translations

12 October 2021

• curprev 15:4715:47, 12 October 2021‎ DG Regio talk contribs‎ 16,207 bytes +4,143‎ ‎Created claim: summary (P836): THE MAIN OBJECTIVE OF THE DARTS PROJECT (FORMAL DEVELOPMENT AND ANALYSIS OF COMPLEX SYSTEMS IN DISTRIBUTED CONTEXTS: FUNDAMENTALS, TOOLS AND APPLICATIONS) CONSISTS OF CONTRIBUTING, WITH METHODS AND TOOLS, TO THE FORMAL DEVELOPMENT OF COMPLEX SOFTWARE SYSTEMS THAT RUN IN DISTRIBUTED LOCATIONS. GIVEN THE BREADTH OF THE FIELD, AND TAKING INTO ACCOUNT THE PREVIOUS EXPERIENCE OF DART GROUPS, WE WILL FOCUS ON THE FORMAL DESIGN AND ANALYSIS, USING TEST...
• curprev 15:4715:47, 12 October 2021‎ DG Regio talk contribs‎ 12,064 bytes −4,143‎ ‎Removed claim: summary (P836): THE MAIN OBJECTIVE OF THE DARTS PROJECT (FORMAL DEVELOPMENT AND ANALYSIS OF COMPLEX SYSTEMS IN DISTRIBUTED CONTEXTS: FUNDAMENTALS, TOOLS AND APPLICATIONS) CONSISTS OF CONTRIBUTING, WITH METHODS AND TOOLS, TO THE FORMAL DEVELOPMENT OF COMPLEX SOFTWARE SYSTEMS THAT RUN IN DISTRIBUTED LOCATIONS. GIVEN THE BREADTH OF THE FIELD, AND TAKING INTO ACCOUNT THE PREVIOUS EXPERIENCE OF DART GROUPS, WE WILL FOCUS ON THE FORMAL DESIGN AND ANALYSIS, USING TE...
• curprev 15:3115:31, 12 October 2021‎ DG Regio talk contribs‎ 16,207 bytes +132‎ ‎Changed label, description and/or aliases in en: translated_label
• curprev 15:3115:31, 12 October 2021‎ DG Regio talk contribs‎ 16,075 bytes +4,143‎ ‎Created claim: summary (P836): THE MAIN OBJECTIVE OF THE DARTS PROJECT (FORMAL DEVELOPMENT AND ANALYSIS OF COMPLEX SYSTEMS IN DISTRIBUTED CONTEXTS: FUNDAMENTALS, TOOLS AND APPLICATIONS) CONSISTS OF CONTRIBUTING, WITH METHODS AND TOOLS, TO THE FORMAL DEVELOPMENT OF COMPLEX SOFTWARE SYSTEMS THAT RUN IN DISTRIBUTED LOCATIONS. GIVEN THE BREADTH OF THE FIELD, AND TAKING INTO ACCOUNT THE PREVIOUS EXPERIENCE OF DART GROUPS, WE WILL FOCUS ON THE FORMAL DESIGN AND ANALYSIS, USING TEST...

10 October 2021

• curprev 15:5915:59, 10 October 2021‎ DG Regio talk contribs‎ 11,932 bytes +433‎ ‎Changed an Item: Edited by the materialized bot - inferring region from the coordinates

9 October 2021

• curprev 11:3911:39, 9 October 2021‎ DG Regio talk contribs‎ 11,499 bytes +499‎ ‎Changed an Item: Edited by the infer coords bot - inferring coordinates from location

8 October 2021

• curprev 04:2704:27, 8 October 2021‎ DG Regio talk contribs‎ 11,000 bytes −11‎ ‎Changed label, description and/or aliases in en
• curprev 04:2704:27, 8 October 2021‎ DG Regio talk contribs‎ 11,011 bytes +11,011‎ ‎Created a new Item