С 6 Семантикбасерт кодешк; EWSTпреведи

Ако сакате да направите кодекс за дизајн на програмата, не треба да ја чувате продавницата за лагрен и тилгичен код. Tradisjonelle kodesøkemotorer som Googles kodesøk, Koders eller Krugle gir tilgang til slike repositorier, men forenkler ikke programmererens jobb i å bruke koden. De tar nøkkelord og returnerer potensielt hundrevis av kandatstykker av kode. Програмирајте повеќе од годишно време, доколку не се враќате датотеки. De må da se om koden kan være релевантни. Hvis det er, må de lese det i detalj for å avgjøre om det er akkurat det de vil ha eller i det minste i nærheten av det. Тил куршум за тилпасеј коден за å оффјл дерес спасиел крав до дома, форматирање, вежбање и сл.

ewstпреведи

Vi føler at en bedre tilnærming ville være å få programmereren å gi mer presis informasjon om hva de vil ha, og så få systemet til å gjøre det grunne arbeidet med å sjekke de returnerte kodefragmentene, å endre koden for programke ke øke åcken åker om forvandle koden til å passe inn i målrammen. Vår søkendefront har programmereren definere semantikken til det de ønsker. Ова вклучува нова форма во форма на потпис, потпис, тест датотека и изведувач (преку JML) за функционална спецификација, комплетен сет на апликации (видете ја помошта на модели базирани на Java) и збир на апликации (во целосна имплементација). Јас тилег кан брукерен ги и контекст гостилница и хилкен коден вил пасе. Frontenden forsøker å gjøre disse spesifikasjonene enkle å gi.

Системски забавен систем и систем за управување со системи за управување со мрежи за автомобили за автомобили (електронски и локални кодови за моторни возила за кафеави мрежи за кафеава боја), за фирми и додатоци за фирми. Како и да е, методи и дисциплини на датотеки (авторски права и други прашања) се регулираат како потенцијални линкови. Испратете го вашиот трансформатор за трансформатор од ваша страна и поставете го 30 трансформатор и поставете го вашиот картички за кодексот на програмата за повеќе програми. Transformasjonene spenner fra det enkle (for eksempel å endre navnet på metoden for å matche signaturen) til komplekset (for eksempel å finne en linje i metoden som beregner en verdi av den returnerte tipen og deretter gjøre en bakoverskive til de eneste frie variablene er verdier er verdier er verdier er verdier er verdier er verdier er verdier er verdier er verdier er парамертипер). Секоја работа може да се претвори во трансформација за потпис на потписот, тестирање на брисот и тестирање на тестирање на тестирање, како што е регулаторот на JML и JML. Трансформации за трансформации во основни термини за резултатите од тестот за тилфелина. Løsningene som passerer testene blir formatert i henhold til brukerens spesifiserte stil, sortert etter størrelse, kompleksitet eller ytelse i testene, and presentesres tilbake til brukeren.

Систем може да се појави (не е најавен - ноен гангер не е услужен) на http://conifer.cs.brown.edu/s6 .

Во верзијата S6, можете да го користите системскиот водич за поубав брукерренссент гит и скијање на брукерренснеситет и å тест за фини тилфелер гит коде сом тестиси.

папирер

Семантикбасерт кодешк, ICSE 2009, мај 2009 година.

Ловец: Код на следниот генератор Gjenbruk за Java av Yuepeng Want, Yu Feng, Ruben Martins, Arati Kaushik, Isil DIllig og Steven Reiss, FSE 2016.

Søker brukergrensesnittet од Стивен Рејс, Јун Миао и Чи Син, весник за автоматско софтверско инженерство, 2017.